Ahmed Bouajjani Languages, Rewriting Systems, and Verification of Infinite-State Systems. 24-39 2001 conf/icalp/2001 ICALP http://link.springer.de/link/service/series/0558/bibs/2076/20760024.htm db/conf/icalp/icalp2001.html#Bouajjani01