@dblp

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

, , and . J. Log. Program., 30 (2): 145-163 (1997)

Links and resources

Tags