@inproceedings{5f9a31fa673b483999ff7ec1f55844a6,
title = "Integrating linear arithmetic into superposition calculus",
abstract = "We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting calculus under some finiteness assumptions. {\textcopyright} Springer-Verlag Berlin Heidelberg 2007.",
author = "Konstantin Korovin and Andrei Voronkov",
year = "2007",
doi = "10.1007/978-3-540-74915-8_19",
language = "English",
isbn = "9783540749141",
volume = "4646",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "223--237",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",
address = "United States",
note = "21st International Workshop on Computer Science Logic, CSL 2007 and 16th Annual Conference of the European Association for Computer Science Logic, EACSL ; Conference date: 01-07-2007",
}