TY  - RPRT
TI  - Tactics for Reasoning modulo AC in Coq
AU  - Thomas Braibant
AU  - Damien Pous
PY  - 2011
DO  - 10.1007/978-3-642-25379-9_14
UR  - https://arxiv.org/abs/1106.4448
ID  - 1106.4448
ER  -