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