BAELDE, D.; CHAUDHURI, K.; GACEK, A.; MILLER, D.; NADATHUR, G.; TIU, A.; WANG, Y. Abella: A System for Reasoning about Relational Specifications. Journal of Formalized Reasoning, [S. l.], v. 7, n. 2, p. 1–89, 2014. DOI: 10.6092/issn.1972-5787/4650. Disponível em: https://jfr.unibo.it/article/view/4650. Acesso em: 4 dec. 2022.