TY  - SER
TI  - Journal of Automated Reasoning [electronic resource]
SN  - 1573-0670
PB  - Springer Netherlands
UR  - http://link.springer.com/journal/10817
ER  -