Kerry Taylor. Generalization by Absorption of Definite Clauses. Journal of Logic and Algebraic Programming, 40(2-3):127-157, 1999.
@article{Taylor99:0, title = {Generalization by Absorption of Definite Clauses}, author = {Kerry Taylor}, year = {1999}, researchr = {https://researchr.org/publication/Taylor99%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {40}, number = {2-3}, pages = {127-157}, }