François Fages On the Semantics of Optimization Predicates in CLP languages. 51-59 1993 PPCP db/conf/ppcp/ppcp93.html#Fages93