@conference{MCR+0,
title = {A Decision Procedure for Equivalence Relations (abstract) },
author = {Michelland, S\'ebastien and Corbineau, Pierre and Rieg, Lionel and Altisen, Karine},
month = {July},
year = {2020},
booktitle = {The Coq Workshop 2020 https://coq-workshop.gitlab.io/2020/},
team = {SYNC, PACSS, axe_FormalProofs},
}
