Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments (1999)

by Danny De Schreye , Robert Glück , Jesper Jørgensen , Michael Leuschel , Bern Martens , Morten Heine Sørensen
Venue:J. LOGIC PROGRAMMING
Citations:42 - 18 self

Document Versions

Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments –Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen — 1999 — J. LOGIC PROGRAMMING
Conjunctive Partial Deduction: Foundations, Control, Algorithms, And Experiments –Danny De Schreye, Robert Gl Uck, Michael Leuschel, Bern Martens, Morten, Heine Srensen
CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, AND EXPERIMENTS –Danny De Schreye, Robert Glück, Michael Leuschel, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen — 1999 — J. LOGIC PROGRAMMING 1999:41:233–277 233
Conjunctive Partial Deduction: Foundations, Control, Algorithms, And Experiments –Danny De Schreye, Robert Glück, Jesper Jørgensen, Robert Gl Uck, Michael Leuschel, Morten Heine Sørensen, Bern Martens, Morten — 1994