author = {Temur Kutsia and Cleo Pau},
title = {{Solving Proximity Constraints}},
booktitle = {{Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019. Revised Selected Papers}},
language = {english},
series = {Lecture Notes in Computer Science },
volume = {12042},
pages = {107--122},
isbn_issn = {ISBN 978-3-030-45259-9},
year = {2019},
editor = {Maurizio Gabbrielli},
refereed = {yes},
length = {16}