| |
| 1993 | ||
|---|---|---|
| 2 | Myra Van Inwegen, Elsa L. Gunter: HOL-ML. HUG 1993: 61-74 | |
| 1992 | ||
| 1 | Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen: Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715 | |
| 1 | Jawahar Chirimar | [1] |
| 2 | Carl A. Gunter | [1] |
| 3 | Elsa L. Gunter | [2] |