Generalization by Absorption of Definite Clauses

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},
}