| |
| * | 2007 | |
|---|---|---|
| 1 | EE | Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers: Pandora: A Reasoning Toolbox using Natural Deduction Style. Logic Journal of the IGPL 15(4): 293-304 (2007) |
| 1 | Krysia Broda | [1] |
| 2 | Jiefei Ma | [1] |
| 3 | Alexander J. Summers | [1] |