Article,

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

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews