Boolean Programs and Quantified Propositional Proof Systems

Bulletin of the Section of Logic, Tom 28, Numer 3 (1999) s. 119-129
Stephen Cook, Michael Sołtys

 

do góry