@article{BuntrockDrewesLautemannMossakowski91,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Buntrock, G. and Drewes, F. and Lautemann, C. and Mossakowski, T.},
  biburl = {https://www.bibsonomy.org/bibtex/273940081e4b2a7a976d6edcafe325590/tillmo},
  interhash = {d58bf6f363654f85c17dbd407c29fe8b},
  intrahash = {73940081e4b2a7a976d6edcafe325590},
  journal = {RAIRO Informatique th{\'e}orique et Applications},
  keywords = {automata bounded complexity linear theory,},
  pages = {545--556},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Some modifications of auxiliary pushdown automata},
  year = 1991
}