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