Manos Koukoutos, Etienne Kneuss, and Viktor Kuncak. An update on deductive synthesis and repair in the leon tool. In 5th Workshop on Synthesis, 2016.

bib ] Back