Tabling Structures for Bottom-Up Logic Programming.

Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting

Browse the full LOPSTR paper archive.