Small Depth Proof Systems

Publication
ACM Transactions on Computation Theory
Date