Controlling Conjunctive Partial Deduction of Definite Logic Programs (1996)

by Robert Glück , Jesper Jørgensen , Bern Martens , Morten H. Sørensen
Citations:32 - 9 self

Document Versions

Controlling Conjunctive Partial Deduction of Definite Logic Programs –Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen — 1996
Controlling Conjunctive Partial Deduction of Definite Logic Programs –Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen — 1996