On the solvability of equational problems - Bürckert, Hans-Jürgen; Schmidt-Schauß, Manfred (Fachbereich Informatik, Univ. Kaiserslautern, 1989)