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