The Abella Interactive Theorem Prover (System Description). In: (2008)

by Andrew Gacek
Venue:Fourth International Joint Conference on Automated Reasoning, LNCS 5195, Springer,