Susan Darling Urban, Michael K. Tschudi, Suzanne W. Dietrich, Anton P. Karadimce. Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method. J. Intell. Inf. Syst., 12(1):27-60, 1999.
@article{UrbanTDK99,
title = {Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method},
author = {Susan Darling Urban and Michael K. Tschudi and Suzanne W. Dietrich and Anton P. Karadimce},
year = {1999},
tags = {rule-based, analysis, termination, graph-rewriting, rules, rewriting},
researchr = {https://researchr.org/publication/UrbanTDK99},
cites = {0},
citedby = {0},
journal = {J. Intell. Inf. Syst.},
volume = {12},
number = {1},
pages = {27-60},
}