Propositional proofs via combinatorial geometry and the search for symmetry, Collegium Logicum (1999)

by A Carbone, S Semmes
Venue:Inst. Computer Science AS CR Prague Publ