Deep Inference and Symmetry in Classical Proofs

By H. Reichel, D. Miller. 2003

100 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/089fdd2525e31bf9a0cf49cf15106bad87cf6840