Jörg H. Siekmann, Michael Hoche, Peter Szabó. String Unification is Essentially Infinitary. In Mircea Marin, editor, Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. pages 82-102, 2008. [doi]
@inproceedings{SiekmannHS08,
title = {String Unification is Essentially Infinitary},
author = {Jörg H. Siekmann and Michael Hoche and Peter Szabó},
year = {2008},
url = {https://www3.risc.jku.at/publications/download/risc_3454/UNIF_proceedings.pdf#page=90},
researchr = {https://researchr.org/publication/SiekmannHS08},
cites = {0},
citedby = {0},
pages = {82-102},
booktitle = {Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008},
editor = {Mircea Marin},
}