@inproceedings{DBLP:conf/fossacs/TzevelekosG13,
  title = "History-Register Automata",
  author = "Nikos Tzevelekos and Radu Grigore",
  year = "2013",
  booktitle = "Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings",
  editor = "Frank Pfenning",
  isbn = "978-3-642-37074-8",
  pages = "17-33",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7794",
}