| |
| 1996 | ||
|---|---|---|
| 2 | Claire Gardent, Michael Kohlhase, Noor van Leusen: Corrections and Higher-Order Unification. KONVENS 1996: 268-279 | |
| 1 | EE | Claire Gardent, Michael Kohlhase, Noor van Leusen: Corrections and Higher-Order Unification CoRR cmp-lg/9609001: (1996) |
| 1 | Claire Gardent | [1] [2] |
| 2 | Michael Kohlhase | [1] [2] |