Zhongmin Xiong, Zhongxiao Hao. Refined Rules Termination Analysis Through Activation Path. In Wenfei Fan, Zhaohui Wu, Jun Yang, editors, Advances in Web-Age Information Management, 6th International Conference, WAIM 2005, Hangzhou, China, October 11-13, 2005, Proceedings. Volume 3739 of Lecture Notes in Computer Science, pages 392-403, Springer, 2005. [doi]
Abstract is missing.