Peter Bro Miltersen N. V. Vinodchandran Derandomizing Arthur-Merlin Games Using Hitting Sets. 71-80 1999 FOCS http://computer.org/proceedings/focs/0409/04090071abs.htm db/conf/focs/focs99.html#MiltersenV99