Miltersen, P. B.; Variyam, V. N. Derandomizing Arthur-Merlin Games Using Hitting Sets. BRICS 1999, 6.