- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 2 |      | Dale Vaillancourt, Rex L. Page, Matthias Felleisen: ACL2 in DrScheme. ACL2 2006: 107-116 |
| 2004 | ||
| 1 | | 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] |