| |
| 2004 | ||
|---|---|---|
| 2 | EE | Neil Leslie, Edwin D. Mares: CHR: A Constructive Relevant Natural-deduction Logic. Electr. Notes Theor. Comput. Sci. 91: 158-170 (2004) |
| 1991 | ||
| 1 | EE | Guy Barry, Mark Hepple, Neil Leslie, Glyn Morrill: Proof Figures And Structural Operators For Categorial Grammar. EACL 1991: 198-203 |
| 1 | Guy Barry | [1] |
| 2 | Mark Hepple | [1] |
| 3 | Edwin D. Mares | [2] |
| 4 | Glyn Morrill | [1] |