Wray L. Buntine
Wray L. Buntine and Hans-Jürgen Bürckert.
On solving equations and disequations.
Journal of the ACM
, 41(4):591-629, July 1994.
References.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database