Baelde, D., Chaudhuri, K., Gacek, A., Miller, D., Nadathur, G., Tiu, A. and Wang, Y. (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.