## Konstantin Korovin, Andrei Voronkov

*Integrating Linear Arithmetic into Superposition Calculus*

CSL, 2007.

@inproceedings{CSL-2007-KorovinV, author = "Konstantin Korovin and Andrei Voronkov", booktitle = "{Proceedings of the 16th EACSL Annual Conference / 21st International Workshop on Computer Science Logic}", doi = "10.1007/978-3-540-74915-8_19", isbn = "978-3-540-74914-1", pages = "223--237", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Integrating Linear Arithmetic into Superposition Calculus}", volume = 4646, year = 2007, }