@inproceedings{KK19,
  author    = {A. Khalimov and O. Kupferman},
  title         = {Register-Bounded Synthesis},
  booktitle =  concur19,
  series     =	{Leibniz International Proceedings in Informatics (LIPIcs)},
   volume  =	{140},
   pages    =  {25:1--25:16},
  year       =  {2019}
}