@inproceedings{STOC-2004-HealyVV,
	author        = "Alexander Healy and Salil P. Vadhan and Emanuele Viola",
	booktitle     = "{Proceedings of the 36th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/1007352.1007389",
	isbn          = "1-58113-852-0",
	pages         = "192--201",
	publisher     = "{ACM}",
	title         = "{Using nondeterminism to amplify hardness}",
	year          = 2004,
}