Francis C. Oglesby

• An Examination of a Decision Procedure (Memoirs of the American Mathematical Society)
• An examination of a decision procedure