@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}