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