Stratified Datalog and Program Analysis by Anders Schlichtkrull, René Rydhof Hansen and Flemming Nielson Sep 01
Pushdown Systems by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel Oct 31
Labeled Transition Systems by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel Oct 31
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