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}
}