@INPROCEEDINGS{MPB-MKJ:TABLEAUX2011:interpolation,
AUTHOR = "Maria Paola Bonacina and Moa Johansson",
TITLE = "On interpolation in decision procedures",
BOOKTITLE = "Proceedings of the 20th International Conference on Analytic Tableaux and Related Methods (TABLEAUX)",
EDITOR = "Kai Br{\"u}nnler and George Metcalfe",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 6793,
PAGES = "1--16",
PUBLISHER = "Springer",
MONTH = "July",
DOI = "10.1007/978-3-642-22119-4_1",
YEAR = 2011}