| |
| 1995 | ||
|---|---|---|
| 2 | EE | Lena Magnusson: An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification. TYPES 1995: 183-200 |
| 1993 | ||
| 1 | Lena Magnusson, Bengt Nordström: The ALF Proof Editor and Its Proof Engine. TYPES 1993: 213-237 | |
| 1 | Bengt Nordström | [1] |