Baelde, D., Chaudhuri, K., Gacek, A., Miller, D., Nadathur, G., Tiu, A., & Wang, Y. (2014). Abella: A System for Reasoning about Relational Specifications. Journal of Formalized Reasoning, 7(2), 1–89. https://doi.org/10.6092/issn.1972-5787/4650