Automated Reasoning - Galmiche; Roberto Sebastiani; Stephan Schulz; Schulz, Stephan; Sebastiani, Roberto (Springer International Publishing, 2018)