From Syntactic Proofs to Combinatorial Proofs.

Matteo Acclavio, Lutz Straburger

Browse the full CADE paper archive.