Handling Transitive Relations in First-Order Automated Reasoning Koen ClaessenAnn Lillieström OriginalPaper Open access 09 September 2021 Pages: 1097 - 1124
An Automatically Verified Prototype of the Tokeneer ID Station Specification Maximiliano CristiáGianfranco Rossi OriginalPaper 07 September 2021 Pages: 1125 - 1151
Human-Centered Automated Proof Search Wilfried SiegFarzaneh Derakhshan OriginalPaper 30 July 2021 Pages: 1153 - 1190
Derivational Complexity and Context-Sensitive Rewriting Salvador Lucas OriginalPaper Open access 12 August 2021 Pages: 1191 - 1229
Formalization of Ring Theory in PVS Thaynara Arielly de LimaAndré Luiz GaldinoMauricio Ayala-Rincón OriginalPaper 12 May 2021 Pages: 1231 - 1263
Experiences from Exporting Major Proof Assistant Libraries Michael KohlhaseFlorian Rabe OriginalPaper Open access 03 August 2021 Pages: 1265 - 1298