Eli Ben-Sasson Hard examples for the bounded depth Frege proof system. 109-136 2002 11 Computational Complexity 3-4 http://dx.doi.org/10.1007/s00037-002-0172-5 db/journals/cc/cc11.html#Ben-Sasson02