Controlling Conjunctive Partial Deduction of Definite Logic Programs (1996)

by Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen