xxxLinton, Mark2017-06-142026-09-292017-06-142026-09-291978-05-242017-06-1427494http://arks.princeton.edu/ark:/88435/dsp01rx913s41phttps://theses-dissertations.princeton.edu/handle/88435/dsp01rx913s41p44 pagesen-USSome Automatic Theorem Proving RoutinesPrinceton University Senior Theses