Krysia Broda Jiefei Ma Gabrielle Sinnadurai Alexander J. Summers Pandora: A Reasoning Toolbox using Natural Deduction Style. 293-304 2007 15 Logic Journal of the IGPL 4 http://dx.doi.org/10.1093/jigpal/jzm020 db/journals/igpl/igpl15.html#BrodaMSS07