@inproceedings{BLS06stacs,
  title = "Regularity Problems for Visibly Pushdown Languages",
  author = "Vince Barany and Christof Loeding and Olivier Serre",
  year = "2006",
  booktitle = "Proceedings of the 23rd Annual Symposioum on Theoretical Aspects of Computer Science, STACS 2006",
  editor = "B. Durand and W. Thomas",
  pages = "420-431",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.logic.rwth-aachen.de/~vbarany/BLS_stacs06_withAppendix.pdf",
  volume = "3884",
}