Rocha, C. Automatic Proof-Search Heuristics in the Maude Invariant Analyzer Tool. Rev. colomb. comput. 2013, 14, 98-121.