Wray L. Buntine, Hans-Jürgen Bürckert. On Solving Equations and Disequations. Journal of the ACM, 41(4):591-629, 1994. [doi]
@article{BuntineB94, title = {On Solving Equations and Disequations}, author = {Wray L. Buntine and Hans-Jürgen Bürckert}, year = {1994}, doi = {10.1145/179812.179813}, url = {http://doi.acm.org/10.1145/179812.179813}, researchr = {https://researchr.org/publication/BuntineB94}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {41}, number = {4}, pages = {591-629}, }