Hans Kleine Büning, Xishun Zhao, Uwe Bubeck: Transformations into Normal Forms for Quantified Circuits. SAT 2011: 245-258