@Inproceedings{EPTCS112.16,
  author    = {Br\"utsch, Benedikt},
  year      = {2013},
  title     = {Synthesizing Structured Reactive Programs via Deterministic Tree Automata},
  editor    = {Mogavero, Fabio and Murano, Aniello and Vardi, Moshe Y.},
  booktitle = {{\rm Proceedings 1st International Workshop on}
               Strategic Reasoning,
               {\rm Rome, Italy, March 16-17, 2013}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {112},
  publisher = {Open Publishing Association},
  pages     = {107-113},
  doi       = {10.4204/EPTCS.112.16},
}