On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs

Preview

Download Presentation

PDF file