@inproceedings{Kartzow09,
  title = {{FO Model Checking on Nested Pushdown Trees}},
  pages = {451-463},
  ublisher = {Springer Verlag},
  author = {Alexander Kartzow},
  series = {Lecture Notes in Computer Science},
  booktitle = {{MFCS2009, LNCS 5734}},
  year = 2009,
}