Rocha, C. (2013). Automatic proof-search heuristics in the maude invariant analyzer tool. Revista Colombiana De Computación, 14(2), 98–121. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/2017