Danny De Schreye Robert Glück Jesper Jørgensen Michael Leuschel Bern Martens Morten Heine Sørensen Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. 231-277 1999 41 J. Log. Program. 2-3 db/journals/jlp/jlp41.html#SchreyeDJLMS99