author = {Temur Kutsia}, year = {2014}, conferencename = {International Workshop on Unification, UNIF}, activity = {Steering committee member}