Full bibliographic information:
Efficient execution in an automated reasoning environment.
Authors: David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, Jose' Luis Ruiz-Reina, Rob Sumners, Daron Vroon and Matthew Wilding.
Journal
of Functional Programming, Volume 18, Issue 01, January 2008.
Published online by Cambridge University Press 23 Apr 2007.
Copyright Cambridge University Press 2007.