@inproceedings{Bachmair,
    doi = {10.1109/lics.1993.287598},
    url = {https://doi.org/10.1109%2Flics.1993.287598},
    publisher = {{IEEE} Comput. Soc. Press},
    author = {L. Bachmair and H. Ganzinger and U. Waldmann},
    title = {Set constraints are the monadic class},
    booktitle = {[1993] Proceedings Eighth Annual {IEEE} Symposium on Logic in Computer Science}
}

@inproceedings{Bachmair, doi = {10.1109/lics.1993.287598}, url = {https://doi.org/10.1109%2Flics.1993.287598}, publisher = {{IEEE} Comput. Soc. Press}, author = {L. Bachmair and H. Ganzinger and U. Waldmann}, title = {Set constraints are the monadic class}, booktitle = {[1993] Proceedings Eighth Annual {IEEE} Symposium on Logic in Computer Science} }