Quantifying over Optimum Answer Sets

Open in new window