@inproceedings{AbdullaCeransJonssonTsay:LICS:1996,
    Address = {Washington, DC, USA},
    Author = {Abdulla, P. A. and Cerans, K. and Jonsson, B. and Tsay, Yih-Kuen},
    BookTitle = {Proc. of LICS'96},
    File = {General decidability theorems for infinite-state systems - Abdulla, Cerans, Jonsson, Tsay (0) (0) - a - a - w.pdf},
    ISBN = {0-8186-7463-6},
    Keywords = {well-structured transition systems and well quasi-orders},
    Pages = {313--321},
    Publisher = {IEEE Computer Society},
    Series = {LICS '96},
    Title = {General decidability theorems for infinite-state systems},
    URL = {http://dl.acm.org/citation.cfm?id=788018.788796},
    Year = {1996},
    acmid = {788796},
    bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=788018.788796},
    bdsk-url-2 = {http://dx.doi.org/10.1109/LICS.1996.561359},
    date-added = {2012-12-29 14:57:28 +0000},
    date-modified = {2018-03-12 18:20:05 +0000},
    doi = {10.1109/LICS.1996.561359}
}

@inproceedings{AbdullaCeransJonssonTsay:LICS:1996, Address = {Washington, DC, USA}, Author = {Abdulla, P. A. and Cerans, K. and Jonsson, B. and Tsay, Yih-Kuen}, BookTitle = {Proc. of LICS'96}, File = {General decidability theorems for infinite-state systems - Abdulla, Cerans, Jonsson, Tsay (0) (0) - a - a - w.pdf}, ISBN = {0-8186-7463-6}, Keywords = {well-structured transition systems and well quasi-orders}, Pages = {313--321}, Publisher = {IEEE Computer Society}, Series = {LICS '96}, Title = {General decidability theorems for infinite-state systems}, URL = {http://dl.acm.org/citation.cfm?id=788018.788796}, Year = {1996}, acmid = {788796}, bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=788018.788796}, bdsk-url-2 = {http://dx.doi.org/10.1109/LICS.1996.561359}, date-added = {2012-12-29 14:57:28 +0000}, date-modified = {2018-03-12 18:20:05 +0000}, doi = {10.1109/LICS.1996.561359} }