## Konstantin Korovin, Christoph Sticksel

*iProver-Eq: An Instantiation-Based Theorem Prover with Equality*

IJCAR, 2010.

@inproceedings{IJCAR-2010-KorovinS, author = "Konstantin Korovin and Christoph Sticksel", booktitle = "{Proceedings of the Fifth International Joint Conference on Automated Reasoning}", doi = "10.1007/978-3-642-14203-1_17", isbn = "978-3-642-14202-4", pages = "196--202", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{iProver-Eq: An Instantiation-Based Theorem Prover with Equality}", volume = 6173, year = 2010, }