@inproceedings{kartzow:LIPIcs:2010:2480,
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  title = {Collapsible Pushdown Graphs of Level 2 are Tree-Automatic},
  year = {2010},
  booktitle = {Proceedings of the 27th International Symposium on Theoretical
               Aspects of Computer Science (STACS 2010)},
  volume = {5},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  doi = {http://dx.doi.org/10.4230/LIPIcs.STACS.2010.2480},
  author = {Alexander Kartzow},
  annote = {Keywords: Tree-automatic structures, collapsible pushdown graphs,
            collapsible pushdown systems, first-order decidability,
            reachability},
  issn = {1868-8969},
  editor = {Jean-Yves Marion and Thomas Schwentick},
  pages = {501--512},
  isbn = {978-3-939897-16-3},
}