Yun Bai Yan Zhang On the Computational Aspect of Rule Based Database Updates. 71-81 2001 conf/ieaaie/2001 IEA/AIE http://dx.doi.org/10.1007/3-540-45517-5_9 db/conf/ieaaie/ieaaie2001.html#BaiZ01