Trent Jaeger Reiner Sailer Xiaolan Zhang 0001 Resolving constraint conflicts. 105-114 2004 conf/sacmat/2004 SACMAT https://doi.org/10.1145/990036.990053 db/conf/sacmat/sacmat2004.html#JaegerSZ04