First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice Guillaume BurelGuillaume BuryOlivier Hermant OriginalPaper 23 September 2019 Pages: 1001 - 1050
Efficient Strategies for CEGAR-Based Model Checking Ákos HajduZoltán Micskei OriginalPaper Open access 11 November 2019 Pages: 1051 - 1091
Exploring the Structure of an Algebra Text with Locales Clemens Ballarin OriginalPaper 30 November 2019 Pages: 1093 - 1121
A Library for Formalization of Linear Error-Correcting Codes Reynald AffeldtJacques GarrigueTakafumi Saikawa OriginalPaper 06 January 2020 Pages: 1123 - 1164