TY  - SER
TI  - JOURNAL OF AUTOMATED REASONING
SN  - 0168-7433
PY  - 1985///
CY  - NEW YORK USA
PB  - SPRINGER-VERLAG
ER  -