Tabling Structures for Bottom-Up Logic Programming. - Roger Clayton; John G. Cleary; Bernhard Pfahringer; Mark Utting (LOPSTR, 2002)