On solving equations and disequations - Buntine, Wray L.; Bürckert, Hans-Jürgen (Seki-Report, 1989)