| |
| 1993 | ||
|---|---|---|
| 3 | Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager: Proof-Checking a Data Link Protocol. TYPES 1993: 127-165 | |
| 1991 | ||
| 2 | Leen Helmink: Resolution and Type Theory. Sci. Comput. Program. 17(1-3): 119-138 (1991) | |
| 1990 | ||
| 1 | Leen Helmink: Resolution and Type Theory. ESOP 1990: 197-211 | |
| 1 | Alex Sellink (M. P. A. Sellink) | [3] |
| 2 | Frits W. Vaandrager | [3] |