Efficient tabling mechanisms for logic programs (1995)

by I RAMAKRISHNAN, P RAO, K SAGONAS, T SWIFT, D WARREN
Venue:In ICLP. 697–711