| |
| 2008 | ||
|---|---|---|
| 1 | EE | David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, R. O. B. Sumners, Daron Vroon, Matthew Wilding: Efficient execution in an automated reasoning environment. J. Funct. Program. 18(1): 15-46 (2008) |
| 1 | David A. Greve | [1] |
| 2 | Matt Kaufmann | [1] |
| 3 | Panagiotis Manolios | [1] |
| 4 | J. Strother Moore | [1] |
| 5 | Sandip Ray | [1] |
| 6 | José-Luis Ruiz-Reina | [1] |
| 7 | Daron Vroon | [1] |
| 8 | Matthew Wilding | [1] |