On Delphi lemmas and other memoing techniques for deterministic logic programs (1997)

by P Tarau, K De Bosschere, B Demoen
Venue:Journal of Logic Programming