Expansion nets: Proof-nets for propositional classical logic (0)

by R McKinley
Venue:LPAR 2010 LNCS 6397, pp 535–549