TY  - SER
TI  - Journal of Symbolic Computation
PB  - Elsevier
ER  -