Automated Stateful Protocol Verification by Andreas V. Hess 📧, Sebastian Mödersheim 🌐, Achim D. Brucker 🌐 and Anders Schlichtkrull 🌐 Apr 08
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover by Anders Schlichtkrull 🌐, Jasmin Christian Blanchette 📧 and Dmitriy Traytel 🌐 Nov 23
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover by Anders Schlichtkrull 🌐, Jasmin Christian Blanchette 📧, Dmitriy Traytel 🌐 and Uwe Waldmann 📧 Jan 18
First-Order Logic According to Harrison by Alexander Birch Jensen 🌐, Anders Schlichtkrull 🌐 and Jørgen Villadsen 🌐 Jan 01