@misc{indiciae0c4e6093da2e,
  title = {Collapsible Pushdown Graphs of Level 2 are Tree-Automatic},
  author = {Alexander Kartzow},
  year = {2013},
  doi = {10.2168/lmcs-9(1:12)2013},
  url = {https://arxiv.org/abs/1303.2453},
  note = {Source identifier: 1303.2453}
}