Hans-Jürgen Bürckert
Solving Disequations in Equational Theories
CADE, 1988.
@inproceedings{CADE-1988-Burckert, author = "Hans-Jürgen Bürckert", booktitle = "{Proceedings of the Ninth International Conference on Automated Deduction}", doi = "10.1007/BFb0012853", isbn = "3-540-19343-X", pages = "517--526", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Solving Disequations in Equational Theories}", volume = 310, year = 1988, }