TY  - SER
TI  - Higher-Order and Symbolic Computation [electronic resource]
SN  - 1573-0557
PB  - Springer US
UR  - http://link.springer.com/journal/10990
ER  -