Efficient execution in an automated reasoning environment (2006)

by David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore S, Rob Sumners, Daron Vroon, Matthew Wilding
Venue:Journal of Functional Programming