TY  - GEN
AU  - BLEDSOE,W.W.
AU  - LOVELAND, D. W.
TI  - AUTOMATED THEOREM PROVING
U1  - 511.3 
PY  - 1984///
CY  - Providence, Rhode Island
PB  - American Mathematical Society
KW  - Automatic Theorem Proving -- Cong
N1  - Proceedings Of The Special Session On Automatic Theorem Proving, 89th Annual Meeting Of The American Mathematical Society, Held In Denver, Colorado, Jan. 5-9, 1983
ER  -