P. B. Miltersen and V. N. Variyam, “Derandomizing Arthur-Merlin Games using Hitting Sets”, BRICS, vol. 6, no. 47, Dec. 1999.