Schematic Refutations of Formula Schemata David M. CernaAlexander LeitschAnela Lolic OriginalPaper Open access 19 November 2020 Pages: 599 - 645
Craig Interpolation with Clausal First-Order Tableaux Christoph Wernhard OriginalPaper 27 May 2021 Pages: 647 - 690
Certified Quantum Computation in Isabelle/HOL Anthony BordgHanna LachnittYijun He OriginalPaper Open access 24 December 2020 Pages: 691 - 709