Rocha, Camilo. “Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool”. Revista Colombiana de Computación 14, no. 2 (December 1, 2013): 98–121. Accessed October 6, 2026. https://revistas.unab.edu.co/rcc/article/view/2017.