@inproceedings{inproceedings, title = {{More SPASS with Isabelle}}, publisher = {{Springer Berlin Heidelberg}}, url = {{http://dx.doi.org/10.1007/978-3-642-32347-8_24 }}, year = {{2012}}, month = {{9}}, author = {{Blanchette JC and Popescu A and Wand D and Weidenbach C}}, doi = {{10.1007/978-3-642-32347-8_24}}, isbn = {{9783642323461}}, pages = {{345-360}}, note = {{Accessed on 2024/12/23}}}