## Alex Pelin, Jean H. Gallier

*Solving Word Problems in Free Algebras Using Complexity Functions*

CADE, 1984.

@inproceedings{CADE-1984-PelinG, author = "Alex Pelin and Jean H. Gallier", booktitle = "{Proceedings of the Seventh International Conference on Automated Deduction}", doi = "10.1007/BFb0047138", isbn = "3-540-96022-8", pages = "476--495", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Solving Word Problems in Free Algebras Using Complexity Functions}", volume = 170, year = 1984, }