Reachability Analysis of Term Rewriting Systems with timbuk (2001)

by T Genet, Viet Triem Tong, V
Venue:In: Proc. 8th LPAR Conf., Havana (Cuba