Deep Inference and Symmetry in Classical Proofs (2003)

by Kai Brünnler