C. Rocha, «Automatic proof-search heuristics in the maude invariant analyzer tool», Rev. colomb. comput., vol. 14, n.º 2, pp. 98–121, dic. 2013.