Parosh Aziz Abdulla Giorgio Delzanno Laurent Van Begin Comparing the Expressive Power of Well-Structured Transition Systems. 99-114 2007 conf/csl/2007 CSL http://dx.doi.org/10.1007/978-3-540-74915-8_11 db/conf/csl/csl2007.html#AbdullaDB07