Beyond NP: Quantifying over Answer Sets

Open in new window