Deep Inference and Symmetry (2004)

by Kai Brünnler
Venue:in Classical Proofs. Logos