BAELDE, David; CHAUDHURI, Kaustuv; GACEK, Andrew; MILLER, Dale; NADATHUR, Gopalan; TIU, Alwen; WANG, Yuting. 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: 27 jul. 2024.