@inproceedings{DBLP:conf/csl/BlumensathCKPVB14,
  title = "Two-way cost automata and cost logics over infinite trees",
  author = "Achim Blumensath and Thomas Colcombet and Denis Kuperberg and Pawel Parys and Michael {Vanden Boom}",
  year = "2014",
  booktitle = "Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014",
  editor = "Thomas A. Henzinger and Dale Miller",
  isbn = "978-1-4503-2886-9",
  pages = "16",
  publisher = "{ACM}",
  url = "http://dl.acm.org/citation.cfm?id=2603088",
  doi = "10.1145/2603088.2603104",
}