Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems Anthony NarkawiczCésar MuñozAaron Dutle OriginalPaper 05 February 2015 Pages: 285 - 326
Decision Procedures for Flat Array Properties Francesco AlbertiSilvio GhilardiNatasha Sharygina OriginalPaper 20 March 2015 Pages: 327 - 352
Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola BonacinaMoa Johansson OriginalPaper 20 March 2015 Pages: 353 - 390