Tabling as a Library with Delimited Control.

Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke

Browse the full IJCAI paper archive.