Baelde, D. (2014) “Abella: A System for Reasoning about Relational Specifications”, Journal of Formalized Reasoning, 7(2), pp. 1–89. doi: 10.6092/issn.1972-5787/4650.