Skip to main content Skip to main navigation

Publication

Solving Disequation in Equational Theories

Hans-Jürgen Bürckert
Universität Kaiserslautern, SEKI Reports, Vol. SR-87-15, 1987.