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

Miguel Areias, Ricardo Rocha

Browse the full PADL paper archive.