@inproceedings{10370,
  title = "Circuit Lower Bounds for Merlin-Arthur Classes",
  author = "Rahul Santhanam",
  year = "2007",
  journal = "Proceedings of the 39th Annual ACM Symposium on Theory of Computing",
}