Eli Ben-Sasson
Hard examples for bounded depth frege
STOC, 2002.
@inproceedings{STOC-2002-Ben-Sasson02a, author = "Eli Ben-Sasson", booktitle = "{Proceedings of the 34th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/509907.509988", isbn = "1-58113-495-9", pages = "563--572", publisher = "{ACM}", title = "{Hard examples for bounded depth frege}", year = 2002, }