Publication

On the Solvability of Equational Problems

Hans-Jürgen Bürckert, Manfred Schmidt-Schauß

Universität Kaiserslautern SEKI Report SR-89-07 1989.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz