Linear Resources in Isabelle/HOL Filip SmolaJacques D. Fleuriot OriginalPaper Open access 18 May 2024 Article: 9
Sequent Calculi for Choice Logics Michael BernreiterAnela LolicStefan Woltran OriginalPaper Open access 03 April 2024 Article: 8
Schematic Program Proofs with Abstract Execution Dominic SteinhöfelReiner Hähnle OriginalPaper Open access 26 March 2024 Article: 7
SAT Meets Tableaux for Linear Temporal Logic Satisfiability Luca GeattiNicola GiganteGabriele Venturato OriginalPaper Open access 15 March 2024 Article: 6