@inproceedings{KnapikNikinskiUrzyczynWalukiewicz:Panic:2005,
    Address = {Berlin, Heidelberg},
    Author = {Knapik, Teodor and Niwi\'{n}ski, Damian and Urzyczyn, Pawe\l and Walukiewicz, Igor},
    BookTitle = {Proc. of ICALP'05},
    File = {Unsafe grammars and panic automata - Knapik, Niwinski, Urzyczyn, Walukiewicz (0) (0) - a - a - r.pdf},
    ISBN = {3-540-27580-0, 978-3-540-27580-0},
    Keywords = {higher-order pushdown automata and higher-order recursion schemes and readme},
    Location = {Lisbon, Portugal},
    Pages = {1450--1461},
    Publisher = {Springer-Verlag},
    Title = {Unsafe grammars and panic automata},
    URL = {http://dx.doi.org/10.1007/11523468\_117},
    Year = {2005},
    acmid = {2104215},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11523468\_117},
    date-added = {2012-03-06 18:37:09 +0100},
    date-modified = {2015-02-15 21:38:50 +0000},
    file-2 = {Unsafe grammars and panic automata - Knapik, Niwinski, Urzyczyn, Walukiewicz (4) (0) - a - a - r.pdf},
    numpages = {12},
    doi = {10.1007/11523468_117}
}

@inproceedings{KnapikNikinskiUrzyczynWalukiewicz:Panic:2005, Address = {Berlin, Heidelberg}, Author = {Knapik, Teodor and Niwi\'{n}ski, Damian and Urzyczyn, Pawe\l and Walukiewicz, Igor}, BookTitle = {Proc. of ICALP'05}, File = {Unsafe grammars and panic automata - Knapik, Niwinski, Urzyczyn, Walukiewicz (0) (0) - a - a - r.pdf}, ISBN = {3-540-27580-0, 978-3-540-27580-0}, Keywords = {higher-order pushdown automata and higher-order recursion schemes and readme}, Location = {Lisbon, Portugal}, Pages = {1450--1461}, Publisher = {Springer-Verlag}, Title = {Unsafe grammars and panic automata}, URL = {http://dx.doi.org/10.1007/11523468_117}, Year = {2005}, acmid = {2104215}, bdsk-url-1 = {http://dx.doi.org/10.1007/11523468_117}, date-added = {2012-03-06 18:37:09 +0100}, date-modified = {2015-02-15 21:38:50 +0000}, file-2 = {Unsafe grammars and panic automata - Knapik, Niwinski, Urzyczyn, Walukiewicz (4) (0) - a - a - r.pdf}, numpages = {12}, doi = {10.1007/11523468_117} }