AN EXAMINATION OF A DECISION PROCEDURE - Oglesby, Francis C. (Providence American Mathematical Society, 1962)