On reachability and safety in infinite-state systems (2001)

by O H Ibarra, T Bultan, J Su
Venue:International Journal of Foundations of Computer Science