Solving Disequation in Equational Theories

@techreport{pub2538,
    author = {

Bürckert, Hans-Jürgen
},
    title = {Solving Disequation in Equational Theories},
    series = {SEKI Reports},
    year = {1987},
    volume = {SR-87-15},
    institution = {Universität Kaiserslautern}
}