@inproceedings{7c7a77b772cf434ab75cda65d8f67d92,
title = "Elimination of Equality via Transformation with Ordering Constraints",
author = "Leo Bachmair and Harald Ganzinger and Andrei Voronkov and Claude Kirchner and H{\'e}l{\`e}ne Kirchner",
year = "1998",
language = "English",
isbn = "3-540-64675-2",
volume = "1421",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "175--190",
editor = "Claude Kirchner and H{\'e}l{\`e}ne Kirchner",
booktitle = "CADE",
address = "United States",
note = "Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings ; Conference date: 01-01-1824",
url = "http://dblp.uni-trier.de/db/conf/cade/cade98.html#BachmairGV98http://dblp.uni-trier.de/rec/bibtex/conf/cade/BachmairGV98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cade/BachmairGV98",
}