Rocha, C. 2013. Automatic proof-search heuristics in the maude invariant analyzer tool. Revista Colombiana de Computación. 14, 2 (dic. 2013), 98–121.