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