Hai-Feng Guo Miao Liu Bharat Jayaraman Relaxation on Optimization Predicates. 425-426 2006 conf/iclp/2006 ICLP http://dx.doi.org/10.1007/11799573_33 db/conf/iclp/iclp2006.html#GuoLJ06