Quantifying over Optimum Answer Sets | Read Paper on Bytez