TY  - BOOK
AU  - WOS,LARRY
TI  - AUTOMATED REASONING: 33 BASIC RESEARCH PROBLEMS
SN  - KBCS
U1  - 901 
PY  - 1988///
CY  - NEW JERSEY
PB  - PH
N1  - BR-725
ER  -