author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Nominal Anti-Unification}},
language = {english},
number = {15-03},
year = {2015},
month = {April},
institution = {RISC},
length = {28}