Reachability analysis of term rewriting systems (2004)

by G Feuillade, T Genet, V V T Tong
Venue:the Journal of Automated Reasoning