LPDA: Another look at Tabulation in Logic Programming.

Eric Villemonte de la Clergerie Bernard Lang LPDA: Another look at Tabulation in Logic Programming. 470-486 1994 ICLP db/conf/iclp/iclp94.html#ClergerieL94