A Unifying View on SMT-Based Software Verification. - Beyer, Dirk; Dangl, Matthias; Wendler, Philipp (Journal of Automated Reasoning, 2018)