author = {Temur Kutsia}, year = {2013}, month = {July 5-6}, conferencename = {Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013}, url = {http://www.risc.jku.at/conferences/scss2013/}