Publication | Closed Access

Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method