Baelde D, Chaudhuri K, Gacek A, Miller D, Nadathur G, Tiu A, et al. Abella: A System for Reasoning about Relational Specifications. JFR [Internet]. 2014 Dec. 30 [cited 2024 Jul. 27];7(2):1-89. Available from: https://jfr.unibo.it/article/view/4650