1. Handling Transitive Relations in First-Order Automated Reasoning

   • Koen Claessen
   • Ann Lillieström

   OriginalPaper Open access 09 September 2021 Pages: 1097 - 1124

   

2. An Automatically Verified Prototype of the Tokeneer ID Station Specification

   • Maximiliano Cristiá
   • Gianfranco Rossi

   OriginalPaper 07 September 2021 Pages: 1125 - 1151

   

3. Human-Centered Automated Proof Search

   • Wilfried Sieg
   • Farzaneh Derakhshan

   OriginalPaper 30 July 2021 Pages: 1153 - 1190

   

4. Derivational Complexity and Context-Sensitive Rewriting

   • Salvador Lucas

   OriginalPaper Open access 12 August 2021 Pages: 1191 - 1229

   

5. Formalization of Ring Theory in PVS

   • Thaynara Arielly de Lima
   • André Luiz Galdino
   • Mauricio Ayala-Rincón

   OriginalPaper 12 May 2021 Pages: 1231 - 1263

   

6. Experiences from Exporting Major Proof Assistant Libraries

   • Michael Kohlhase
   • Florian Rabe

   OriginalPaper Open access 03 August 2021 Pages: 1265 - 1298