@dblp

Conjunctive Partial Deduction in Practice.

, , and . LOPSTR, volume 1207 of Lecture Notes in Computer Science, page 59-82. Springer, (1996)

Links and resources

Tags