author = {Temur Kutsia},
year = {2012},
conferencename = {International Symposium on Symbolic Computation in Software Science, SCSS 2012},
url = {http://www.cedar-forest.org/forest/events/scss2012/call.html}