On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs.

Paul Tarau Koenraad De Bosschere Bart Demoen On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. 145-163 1997 30 J. Log. Program. 2 db/journals/jlp/jlp30.html#TarauBD97