author = {Adel Bouhoula and Bruno Buchberger and Tetsuo Ida and Temur Kutsia},
title = {{Annals of Mathematics and Artificial Intelligence}},
language = {english},
volume = {91},
number = {5},
publisher = {Springer},
isbn_issn = {ISSN 1012-2443},
year = {2023},
note = {Special Issue on Symbolic Computation in Software Science},
editor = {Adel Bouhoula and Bruno Buchberger and Tetsuo Ida and Temur Kutsia},
length = {0},
url = {https://doi.org/10.1007/s10472-023-09846-1}