@inproceedings{STOC-2007-Santhanam,
	author        = "Rahul Santhanam",
	booktitle     = "{Proceedings of the 39th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/1250790.1250832",
	isbn          = "978-1-59593-631-8",
	pages         = "275--283",
	publisher     = "{ACM}",
	title         = "{Circuit lower bounds for Merlin-Arthur classes}",
	year          = 2007,
}