@inproceedings{FK20, author = {R. Faran and O. Kupferman}, title = {On Synthesis of Specifications with Arithmetic}, booktitle = {{SOFSEM} 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, {SOFSEM} 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12011}, pages = {161--173}, publisher = {Springer}, year = {2020} }