Reachability analysis over term rewriting systems (2004)

by G Feuillade, T Genet, V V T Tong
Venue:J. Autom. Reasoning