TY  - BOOK
AU  - Oglesby, Francis C.
TI  - AN EXAMINATION OF A DECISION PROCEDURE
U1  - 510.5 
PY  - 1962///
CY  - Providence
PB  - American Mathematical Society
ER  -