Mohammad Said Desouki Ana Simonet Michel Simonet Supporting and Maintaining Derivations: a Declarative Active Approach. 101-111 1997 conf/dexa/1997 DEXA db/conf/dexa/dexa97.html#DesoukiSS97 http://dx.doi.org/10.1007/BFb0022022