@article{P097.072,
author={Tarau, P. and De Bosschere, K. and Demoen, B.},
title={On Delphi Lemmas and Other Memoing Techniques for Deterministic Logic Programs},
journal={Journal on Logic Programming},
year={1997},
month={2},
volume={30},
number={2},
pages={145-163},
publisher={Elsevier},
}