N. Creignou, H. Daude, U. Egly: "Phase Transition for Random Quantified XOR-Formulas"; Journal of Artificial Intelligence Research, 29 (2007), 1 - 18.
http://publik.tuwien.ac.at/files/pub-inf_4949.pdf