Manfred Schmidt-Schauß Klaus U. Schulz Solvability of Context Equations with Two Context Variables is Decidable. 77-122 2002 33 J. Symb. Comput. 1 http://dx.doi.org/10.1006/jsco.2001.0438 db/journals/jsc/jsc33.html#Schmidt-SchaussS02