TitleDecomposing Farkas Interpolants Publication TypeConference Paper Year of Publication2019 AuthorsBlicha, Martin, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha Conference NameTACAS Full TextLink