Konstantine Arkoudas Simplifying Proofs in Fitch-Style Natural Deduction Systems. 239-294 2005 34 J. Autom. Reasoning 3 http://dx.doi.org/10.1007/s10817-005-9000-3 db/journals/jar/jar34.html#Arkoudas05