Pandora: A Reasoning Toolbox using Natural Deduction Style. - Krysia Broda; Jiefei Ma; Gabrielle Sinnadurai; Alexander J. Summers (Log. J. IGPL, 2007)