ROCHA, C. Automatic proof-search heuristics in the maude invariant analyzer tool. Revista Colombiana de Computación, [S. l.], v. 14, n. 2, p. 98–121, 2013. Disponível em: https://revistas.unab.edu.co/index.php/rcc/article/view/2017. Acesso em: 26 abr. 2024.