TY  - CONF

T1  - Improving the Refined Triggering Graph Method for Active Rules Termination Analysis.

JO  - BNCOD

UR  - https://doi.org/10.1007/3-540-45495-0

PY  - 2002/01/01

AU  - Couchot A

ED  - Eaglestone B

ED  - North S

ED  - Poulovassilis A

PB  - Springer

VL  - 2405

SP  - 114

EP  - 133

Y2  - 2024/12/22

ER  -