Solving disequations in equational theories - Bürckert, Hans-Jürgen (Seki-Report, 1987)