Maria Paola Bonacina Automated Deduction -- CADE-24 - 2013 ISBN: 978-3-642-38574-2 Subjects--Topical Terms: Algorithm Analysis and Problem ComplexityLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware EngineeringComputer Science