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 (December 30, 2014): 1–89. Accessed July 27, 2024. https://jfr.unibo.it/article/view/4650.