Parosh Aziz Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay General Decidability Theorems for Infinite-State Systems. 313-321 1996 conf/lics/1996 LICS db/conf/lics/lics96.html#AbdullaCJT96 http://doi.ieeecomputersociety.org/10.1109/LICS.1996.561359