## Hicham Bensaid, Ricardo Caferra, Nicolas Peltier

*Dei: A Theorem Prover for Terms with Integer Exponents*

CADE, 2009.

@inproceedings{CADE-2009-BensaidCP,
author = "Hicham Bensaid and Ricardo Caferra and Nicolas Peltier",
booktitle = "{Proceedings of the 22nd International Conference on Automated Deduction}",
doi = "10.1007/978-3-642-02959-2_11",
isbn = "978-3-642-02958-5",
pages = "146--150",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Dei: A Theorem Prover for Terms with Integer Exponents}",
volume = 5663,
year = 2009,
}

### Tags: