Efficient execution in an automated reasoning

by David A. Greve , Matt Kaufmann , J Strother Moore , Sandip Ray , José Luis Ruiz-reina , Rob Sumners , Matthew Wilding