Controlling Conjunctive Partial Deduction of Definite Logic Programs (1996)

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