1.
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 2022Jan.28];7(2):1-89. Available from: https://jfr.unibo.it/article/view/4650