author = {Temur Kutsia and Cleo Pau},
title = {{Proximity-based Unification with Arity Mismatch}},
booktitle = {{Proceedings of the 34th International Workshop on Unification}},
language = {english},
pages = {9:1--9:6},
isbn_issn = { },
year = {2020},
editor = {Temur Kutsia and Andrew M. Marshall},
refereed = {yes},
length = {6}