author = {Temur Kutsia},
title = {{Anti-Unification: Algorithms and Applications}},
language = {english},
year = {2013},
month = {June 27},
note = {Invited talk at The 27th International Workshop on Unification, UNIF 2013},
conferencename = {The 27th International Workshop on Unification, UNIF 2013},
url = {http://lat.inf.tu-dresden.de/UNIF2013/}