URL: https://www.ijcai.org/proceedings/2018
Authors: Narodytska, Nina / Bjørner, Nikolaj / Marinescu, Maria-Cristina / Sagiv, Mooly
Publication: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18
Pagination: 1353 - 1361