Solving Disequations in Equational Theories

@inproceedings{pub2365,
    author = {

Bürckert, Hans-Jürgen
},
    editor = {

Lusk, E. L.
 and 

Overbeek, R.
},
    title = {Solving Disequations in Equational Theories},
    booktitle = {Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-9), May 23-26, Argonne, IL, United States},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {1988},
    volume = {310},
    pages = {517--526},
    organization = {Argonne National Laboratory},
    publisher = {Springer}
}