1. Abdulla, P.A.: Well (and better) quasi-ordered transition systems. Bulletin of Symbolic Logic 16(4), 457–515 (2010)
2. Abdulla, P.A., Čerāns, K., Jonsson, B., Tsay, Y.-K.: General decidability theorems for infinite-state systems. In: Proc. LICS 1996, 11th IEEE Int. Symp. on Logic in Computer Science, pp. 313–321 (1996)
3. Abdulla, P.A., Henda, N.B., Mayr, R.: Decisive markov chains. Logical Methods in Computer Science (2007);
4. A Preliminary Version appeared in Proc. LICS 2005
5. Lecture Notes in Computer Science;P.A. Abdulla,2006