, INRIA, France.

• Journal of Formalized Reasoning Vol. 7 No. 2 (2014): Special Issue: User Tutorials 2 - Articles
  Abella: A System for Reasoning about Relational Specifications
  Abstract  PDF