Steve Linton, Roberto Sebastiani. Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. Journal of Symbolic Computation, 34(4):239, 2002. [doi]
@article{LintonS02,
title = {Editorial: The Integration of Automated Reasoning and Computer Algebra Systems},
author = {Steve Linton and Roberto Sebastiani},
year = {2002},
doi = {10.1006/jsco.2002.0553},
url = {http://dx.doi.org/10.1006/jsco.2002.0553},
tags = { algebra},
researchr = {https://researchr.org/publication/LintonS02},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {34},
number = {4},
pages = {239},
}