@inproceedings{855c536708aa46f2b06cdf23601d5e5f,
title = "Interpolation and symbol elimination",
abstract = "We prove several results related to local proofs, interpolation and superposition calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and results suggest that symbol-eliminating inferences may be an interesting alternative to interpolation. {\textcopyright} 2009 Springer Berlin Heidelberg.",
author = "Laura Kov{\'a}cs and Andrei Voronkov",
year = "2009",
doi = "10.1007/978-3-642-02959-2_17",
language = "English",
isbn = "3642029582",
volume = "5663",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "199--213",
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 = "22nd International Conference on Automated Deduction, CADE-22 ; Conference date: 02-08-2009 Through 07-08-2009",
}