3 ms·Methods of Improving and Reorganizing Natural Deduction Proofs With Graphs [pdf]3 points by dko 16y ago