2011
2008
- Efficient execution in an automated reasoning environmentDavid A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding. JFP, 18(1):15-46, 2008. [doi]
2007
2006
2005
2004
2003
2002
2001
2000
1999