Miltersen, Peter Bro, and Vinodchandran N. Variyam. 1999. “Derandomizing Arthur-Merlin Games Using Hitting Sets”. BRICS Report Series 6 (47). https://doi.org/10.7146/brics.v6i47.20117.