Media type: E-Article Title: Automated Reasoning: Colors Make Theories Hard Contributor: Sebastiani, Roberto Published: Springer International Publishing, 2016 Published in: Automated Reasoning (2016), Seite 152-170 Language: Not determined DOI: 10.1007/978-3-319-40229-1_11 ISSN: 1611-3349; 0302-9743 Origination: Footnote: