String Unification is Essentially Infinitary

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]

Abstract

Abstract is missing.