=ADD=
=editor=
Miola; Alfonso + Temperini; Marco
=title=
Advances in the Design of the Symbolic Computation Systems
=year=
1997
=publisher=
Springer-Verlag Wien
=series=
RISC series: Text and Monographs in Symbolic Computation
=reftype=
1
=source=
3