Using Well-Founded Relations for Proving Operational Termination Salvador Lucas OriginalPaper 11 February 2019 Pages: 167 - 195
Blocking and Other Enhancements for Bottom-Up Model Generation Methods Peter BaumgartnerRenate A. Schmidt OriginalPaper Open access 01 March 2019 Pages: 197 - 251
Combining Induction and Saturation-Based Theorem Proving M. EchenimN. Peltier OriginalPaper 28 March 2019 Pages: 253 - 294
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations Maximiliano CristiáGianfranco Rossi OriginalPaper 08 April 2019 Pages: 295 - 330
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL Wenda LiLawrence C. Paulson OriginalPaper Open access 03 April 2019 Pages: 331 - 360