Michael K. Tschudi, Susan Darling Urban, Suzanne W. Dietrich, Anton P. Karadimce. An Implenentation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis. In Andreas Geppert, Mikael Berndtsson, editors, Rules in Database Systems, Third International Workshop, RIDS 97, Skövde, Sweden, June 26-28, 1997, Proceedings. Volume 1312 of Lecture Notes in Computer Science, pages 133-148, Springer, 1997.
Abstract is missing.