Non-Automatizability of Bounded-Depth Frege Proofs | Publicación