Kerry Taylor Generalization by Absorption of Definite Clauses. 127-157 1999 40 J. Log. Program. 2-3 db/journals/jlp/jlp40.html#Taylor99