Baelde, D. et al. 2014. Abella: A System for Reasoning about Relational Specifications. Journal of Formalized Reasoning. 7, 2 (Dec. 2014), 1–89. DOI:https://doi.org/10.6092/issn.1972-5787/4650.