author = {Temur Kutsia},}
title = {{Selected Topics in Unification Theory: Anti-Unification}},
language = {english},
year = {2015},
month = {April 7},
note = {Invited colloquium talk at Department of Computer Science, University of Brasilia, Brazil},
institution = {Department of Computer Science, University of Brasilia, Brazil}