Rocha, C. «Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool». Revista Colombiana De Computación, vol. 14, n.º 2, diciembre de 2013, pp. 98-121, https://revistas.unab.edu.co/index.php/rcc/article/view/2017.