"The Abella Interactive Theorem Prover (System Description)."

Andrew Gacek (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics