@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,
}