1. First-Order Theories Ruzica Piskac Max Planck Institute for Software Systems, Germany [email protected] Seminar on Decision Procedures 2012 Ruzica Piskac First-Order…