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.
No references recorded for this publication.
No citations of this publication recorded.