Deciding Kleene Algebra Terms Equivalence in Coq - Pereira, David (2015)