Simplifying proofs in Fitch-style natural deduction systems (2005)

by K Arkoudas
Venue:Journal of Automated Reasoning