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