TY  - DATA
AU  - Oglesby, Francis C.
TI  - An examination of a decision procedure 
T2  - Memoirs of the American Mathematical Society, 
SN  - 9780821899885 (online)
PY  - 1962///
CY  - Providence, R.I.
PB  - American Mathematical Society
UR  - http://www.ams.org/memo/0044
ER  -