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 (Journal of Functional Programming, 2008)