@Inproceedings{EPTCS151.1,
  author    = {Carayol, Arnaud and Hague, Matthew },
  year      = {2014},
  title     = {Saturation algorithms for model-checking pushdown systems},
  editor    = {\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an},
  booktitle = {{\rm Proceedings 14th International Conference on}
               Automata and Formal Languages,
               {\rm Szeged, Hungary, May 27-29, 2014}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {151},
  publisher = {Open Publishing Association},
  pages     = {1-24},
  doi       = {10.4204/EPTCS.151.1},
}