AE An examination of a decision procedure by Oglesby, Francis C. fromMemoirs of the American Mathematical Society 0 Type: Book