Alexis Maciel, Toniann Pitassi
On ACC0[pk] Frege Proofs
STOC, 1997.
@inproceedings{STOC-1997-MacielP, author = "Alexis Maciel and Toniann Pitassi", booktitle = "{Proceedings of the 29th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/258533.258669", isbn = "0-89791-888-6", pages = "720--729", publisher = "{ACM}", title = "{On ACC0[pk] Frege Proofs}", year = 1997, }