Publication

Solving Disequation in Equational Theories

Hans-Jürgen Bürckert

Universität Kaiserslautern SEKI Reports SR-87-15 1987.

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