Deciding Kleene algebra terms equivalence in Coq - Nelma Moreira (2015)