Baelde, David, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, and Yuting Wang. 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.