The Complexity Of Propositional Proofs (1995)

Cached

Download Links

by Alasdair Urquhart
Venue:Bulletin of Symbolic Logic
Citations:113 - 3 self