Rocha C. Automatic proof-search heuristics in the maude invariant analyzer tool. Rev. colomb. comput. [Internet]. 1 de diciembre de 2013 [citado 25 de abril de 2024];14(2):98-121. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/2017