| |
| 2006 | ||
|---|---|---|
| 2 | EE | Dale Vaillancourt, Rex L. Page, Matthias Felleisen: ACL2 in DrScheme. ACL2 2006: 107-116 |
| 2004 | ||
| 1 | EE | Mitchell Wand, Dale Vaillancourt: Relating models of backtracking. ICFP 2004: 54-65 |
| 1 | Matthias Felleisen | [2] |
| 2 | Rex L. Page | [2] |
| 3 | Mitchell Wand | [1] |