P. B. Miltersen og V. N. Variyam, “Derandomizing Arthur-Merlin Games using Hitting Sets”, BRICS, bd. 6, nr. 47, dec. 1999.