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 (Jan. 2014), 1–89. DOI:https://doi.org/10.6092/issn.1972-5787/4650.