Rocha, Camilo. 2013. «Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool». Revista Colombiana De Computación 14 (2):98-121. https://revistasunabeduco.biteca.online/index.php/rcc/article/view/2017.