@inproceedings{BM8f,
title = { {A Coq Tactic for Equality Learning in Linear Arithmetic} },
author = {Boulm\'e, Sylvain and Mar\'echal, Alexandre},
year = {2018},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
pages = {108--125},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10895},
team = {PACSS, , axe_FormalProofs},
}