@inproceedings{Carayol:2005:RSH:2138485.2138503,
    Address = {Berlin, Heidelberg},
    Author = {Carayol, Arnaud},
    BookTitle = {Proceedings of the 30th international conference on Mathematical Foundations of Computer Science},
    File = {Regular sets of higher-order pushdown stacks - Carayol (0) (0) - a - a - o.pdf},
    ISBN = {3-540-28702-7, 978-3-540-28702-5},
    Keywords = {higher-order pushdown automata and higher-order model checking},
    Location = {Gdansk, Poland},
    Pages = {168--179},
    Publisher = {Springer-Verlag},
    Series = {MFCS'05},
    Title = {Regular sets of higher-order pushdown stacks},
    URL = {http://dx.doi.org/10.1007/11549345\_16},
    Year = {2005},
    acmid = {2138503},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11549345\_16},
    date-added = {2012-03-08 11:01:30 +0100},
    date-modified = {2012-03-08 10:02:25 +0000},
    numpages = {12},
    doi = {10.1007/11549345_16}
}

@inproceedings{Carayol:2005:RSH:2138485.2138503, Address = {Berlin, Heidelberg}, Author = {Carayol, Arnaud}, BookTitle = {Proceedings of the 30th international conference on Mathematical Foundations of Computer Science}, File = {Regular sets of higher-order pushdown stacks - Carayol (0) (0) - a - a - o.pdf}, ISBN = {3-540-28702-7, 978-3-540-28702-5}, Keywords = {higher-order pushdown automata and higher-order model checking}, Location = {Gdansk, Poland}, Pages = {168--179}, Publisher = {Springer-Verlag}, Series = {MFCS'05}, Title = {Regular sets of higher-order pushdown stacks}, URL = {http://dx.doi.org/10.1007/11549345_16}, Year = {2005}, acmid = {2138503}, bdsk-url-1 = {http://dx.doi.org/10.1007/11549345_16}, date-added = {2012-03-08 11:01:30 +0100}, date-modified = {2012-03-08 10:02:25 +0000}, numpages = {12}, doi = {10.1007/11549345_16} }