author = {Temur Kutsia},
year = {2016},
conferencename = {The 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016}