%0 Journal Article %1 journals/jar/BonacinaJ15 %A Bonacina, Maria Paola %A Johansson, Moa %D 2015 %J J. Autom. Reason. %K dblp %N 1 %P 69-97 %T On Interpolation in Automated Theorem Proving. %U http://dblp.uni-trier.de/db/journals/jar/jar54.html#BonacinaJ15 %V 54

@article{journals/jar/BonacinaJ15, added-at = {2020-09-02T00:00:00.000+0200}, author = {Bonacina, Maria Paola and Johansson, Moa}, biburl = {https://www.bibsonomy.org/bibtex/261b6e5e0150bebc1cea2f9b1d6a6d46e/dblp}, ee = {https://doi.org/10.1007/s10817-014-9314-0}, interhash = {6a7e2c7122f1139b7899e338cc143394}, intrahash = {61b6e5e0150bebc1cea2f9b1d6a6d46e}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {69-97}, timestamp = {2020-09-09T13:35:37.000+0200}, title = {On Interpolation in Automated Theorem Proving.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar54.html#BonacinaJ15}, volume = 54, year = 2015 }