@INPROCEEDINGS{bkmpg19,
  author = {S. Bose and S.N. Krishna and A. Muscholl and V. Penelle and G. Puppis},
  title = {On Synthesis of Resynchronizers for Transducers},
  booktitle = {Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS)},
  year = {2019},
  pages = {55:1-55:14},
  volume = {138},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}
}