Automated Reasoning in First-Order Logic∗ Peter Baumgartner† 2010 Automated Reasoning • An application-oriented subfield of logic in computer science and artificial…
