Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method. - Urban, Susan Darling; Tschudi, Michael K.; Dietrich, Suzanne W.; Karadimce, Anton P. (J. Intell. Inf. Syst., 1999)