Efficient execution in an automated reasoning environment.

Saved in:

Bibliographic Details
Title:	Efficient execution in an automated reasoning environment.
Authors:	DAVID A. GREVE¹, MATT KAUFMANN², PANAGIOTIS MANOLIOS³, J STROTHER MOORE², SANDIP RAY², JOS? LUIS RUIZ-REINA⁴, ROB SUMNERS⁵, DARON VROON³, MATTHEW WILDING¹
Source:	Journal of Functional Programming; Jan2008, Vol. 18 Issue 1, p15-46, 32p
Database:	Applied Science & Technology Source

Description
ISSN:	09567968
DOI:	10.1017/S0956796807006338