author = {Temur Kutsia and Cleo Pau},
title = {{Solving Proximity Constraints}},
booktitle = {{33nd International Workshop on Unification, UNIF 2019}},
language = {english},
pages = {----},
isbn_issn = { },
year = {2019},
editor = {Daniele Nantes and Serdar Erbatur},
refereed = {yes},
length = {0}