@INPROCEEDINGS{VO2conf,
  author = {Vojt\v{e}ch Vorel},
  title = {Subset Synchronization of Transitive Automata},
  booktitle = {Proceedings 14th International Conference on Automata and Formal
	Languages, {AFL} 2014},
  year = {2014},
  pages = {370--381},
  crossref = {DBLP:journals/corr/EsikF14},
  doi = {10.4204/EPTCS.151.26}
}