CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, AND EXPERIMENTS (1999)

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