doi dblp Termination Analysis of Active Rules Modular Sets Alain Couchot Proceedings of the 2001 ACM CIKM International Conference on Information and Knowledge Management, Atlanta, Georgia, USA, November 5-10, 2001