A Simple and Efficient Implementation of Concurrent Local Tabling.

Rui Marques, Terrance Swift, Jos C. Cunha

Browse the full PADL paper archive.