TY  - BOOK
AU  - BOUND VOLUME
TI  - JOURNAL OF AUTOMATED REASONING, VOL.5,1989
SN  - BOUND VOLUME
U1  - 317 
PY  - 1989///
CY  - DORDRECHT
PB  - KA
N1  - BOUND VOLUME
ER  -