author = {Temur Kutsia and Christophe Ringeissen}, year = {2014}, month = {July}, conferencename = {The 28th International Workshop on Unification, UNIF 2014}, url = {http://vsl2014.at/unif}