An examination of a decision procedure - Oglesby, Francis C. (Memoirs of the American Mathematical Society, 1962)