Yun Bai Yan Zhang On the Computational Aspect of Rule Based Database Updates. 71-81 2001 conf/ieaaie/2001 IEA/AIE http://link.springer.de/link/service/series/0558/bibs/2070/20700071.htm db/conf/ieaaie/ieaaie2001.html#BaiZ01