Reachability analysis of term rewriting systems with timbuk (2001)

by T Genet, V Tong
Venue:In Logic for Programming, Artificial Intelligence, and Reasoning