Conjunctive Partial Deduction: Foundations, Control, Algorithms, And Experiments (1994)

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