David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding. Efficient execution in an automated reasoning environment. Journal of Functional Programming, 18(1):15-46, 2008. [doi]
Abstract is missing.