Rocha, C. (2013) «Automatic proof-search heuristics in the maude invariant analyzer tool», Revista Colombiana de Computación, 14(2), pp. 98–121. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/2017 (Accedido: 19 abril 2024).