Parameterized Bounded-Depth Frege Is Not Optimal.

Olaf Beyersdorff, Nicola Galesi, Massimo Lauria, Alexander A. Razborov

Browse the full ICALP paper archive.