author = {Temur Kutsia},
title = {{Proceedings of the 9th International Symposium on Symbolic Computation in Software Science.}},
language = {english},
series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
volume = {342},
isbn_issn = {issn 2075-2180},
year = {2021},
editor = {Temur Kutsia},
length = {141},
conferencename = {9th International Symposium on Symbolic Computation in Software Science},
url = {https://arxiv.org/html/2109.02501}