Baelde, David, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, and Yuting Wang. “Abella: A System for Reasoning about Relational Specifications”. Journal of Formalized Reasoning 7, no. 2 (January 1, 2014): 1–89. Accessed July 1, 2022. https://jfr.unibo.it/article/view/4650.