author = {Temur Kutsia},}
title = {{Anti-Unification in Description Logic EL}},
language = {english},
year = {2017},
month = {January 13},
note = {Contributed talk at Computational Logic Day},
organization = {Kurt Gödel Research Center},
institution = {University of Vienna},
conferencename = {Computational Logic Day}