Solvability of Context Equations with Two Context Variables is Decidable.

Journal of Symbolic Computation, 33(1):77-122, 2002.

Authors/Editors:	Manfred Schmidt-Schauß Klaus U. Schulz
Publication Date:	2002
Type of Publication:	Konferenzen/Journale