@dblp

Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.

, , , , , and . J. Log. Program., 41 (2-3): 231-277 (1999)Erratum: JLP 43(3): 265 (2000).

Links and resources

Tags