Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio. Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. Journal of Automated Reasoning, 30(1):99-120, 2003.
@article{BofillGNR03,
title = {Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings},
author = {Miquel Bofill and Guillem Godoy and Robert Nieuwenhuis and Albert Rubio},
year = {2003},
researchr = {https://researchr.org/publication/BofillGNR03},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {30},
number = {1},
pages = {99-120},
}