Reinhard Pichler
Solving Equational Problems Efficiently
CADE, 1999.
@inproceedings{CADE-1999-Pichler, author = "Reinhard Pichler", booktitle = "{Proceedings of the 16th International Conference on Automated Deduction}", doi = "10.1007/3-540-48660-7_7", isbn = "3-540-66222-7", pages = "97--111", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Solving Equational Problems Efficiently}", volume = 1632, year = 1999, }