@inproceedings{AlthausATVA2015,
TITLE = {Improving Interpolants for Linear Arithmetic},
AUTHOR = {Althaus, Ernst and Beber, Bj{\"o}rn and Kupilas, Joschka and Scholl, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-319-24952-0},
DOI = {10.1007/978-3-319-24953-7_5},
PUBLISHER = {Springer},
YEAR = {2015},
DATE = {2015},
BOOKTITLE = {Automated Technology for Verification and Analysis (ATVA 2015)},
EDITOR = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun},
PAGES = {48--63},
SERIES = {Lecture Notes in Computer SCience},
VOLUME = {9364},
ADDRESS = {Shanghai, China},
}