Integrating decision procedures into heuristic theorem provers: A case study of linear arithmetic (1988)

by Robert S. Boyer , J Strother Moore
Venue:Machine Intelligence
Citations:107 - 9 self