Beyond NP: Quantifying over Answer Sets