Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. Nominal Anti-Unification. In Temur Kutsia, Christophe Ringeissen, editors, Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. pages 62-68, 2014. [doi]
@inproceedings{BaumgartnerKLV14,
title = {Nominal Anti-Unification},
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
year = {2014},
url = {https://www3.risc.jku.at/publications/download/risc_5001/proceedings-UNIF2014.pdf#page=67},
researchr = {https://researchr.org/publication/BaumgartnerKLV14},
cites = {0},
citedby = {0},
pages = {62-68},
booktitle = {Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014},
editor = {Temur Kutsia and Christophe Ringeissen},
}