The Complexity of Problems for Quantified Constraints Article in Theory of Computing Systems (February 2009)