author = {Temur Kutsia},}
title = {{Anti-Unification: Algorithms and Applications}},
language = {english},
year = {2015},
month = {April 30},
note = {Invited colloquium talk at Department of Computer Science, University of Liverpool, UK},
institution = {Department of Computer Science, University of Liverpool, UK}