- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | 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] |