author = {Temur Kutsia},
year = {2013},
conferencename = { 24th International Conference on Rewriting Techniques and Applications, RTA 2013},
url = {http://rta2013.few.vu.nl/}