Francisco Menezes Pedro Barahona Defeasible Constraint Solving. 151-170 1995 conf/cp/1995w Over-Constrained Systems db/conf/cp/cp1995w.html#MenezesB95