Efficient execution in an automated reasoning environment.

David A. Greve Matt Kaufmann Panagiotis Manolios J Strother Moore Sandip Ray José-Luis Ruiz-Reina Rob Sumners Daron Vroon Matthew Wilding

Published in: J. Funct. Program. (2008)

Keyphrases