Publication On Solving Equations and Disequations Wray Buntine; Hans-Jürgen Bürckert In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994. BibTeX Export On Solving Equations and Disequations@article{pub1835, author = { Buntine, Wray and Bürckert, Hans-Jürgen }, title = {On Solving Equations and Disequations}, year = {1994}, volume = {41}, number = {4}, pages = {591--629}, journal = {Journal of the ACM (JACM)}, publisher = {ACM} }