Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan. Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. Logic Journal of the IGPL, 18(6):769-822, 2010. [doi]
@article{DowekGM10,
title = {Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques},
author = {Gilles Dowek and Murdoch James Gabbay and Dominic P. Mulligan},
year = {2010},
doi = {10.1093/jigpal/jzq006},
url = {http://dx.doi.org/10.1093/jigpal/jzq006},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/DowekGM10},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {18},
number = {6},
pages = {769-822},
}