author = {Temur Kutsia},
year = {2016},
conferencename = {The 30th International Workshop on Unification, UNIF 2016}