Luciano Caroprese Sergio Greco Cristina Sirangelo Ester Zumpano Declarative Semantics of Production Rules for Integrity Maintenance. 26-40 2006 conf/iclp/2006 ICLP http://dx.doi.org/10.1007/11799573_5 db/conf/iclp/iclp2006.html#CaropreseGSZ06