Harb, H., Kelash, H., Shehata, A., 2007. STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS 35.. https://doi.org/10.21608/jesaun.2007.111412