Deep Inference and Symmetry for Classical Proofs (2003)

by Kai Brünnler