TY - CONF T1 - More SPASS with Isabelle UR - http://dx.doi.org/10.1007/978-3-642-32347-8_24 PY - 2012/09/05 AU - Blanchette JC AU - Popescu A AU - Wand D AU - Weidenbach C ED - DO - DOI: 10.1007/978-3-642-32347-8_24 PB - Springer Berlin Heidelberg SN - 9783642323461 SP - 345 EP - 360 Y2 - 2024/12/23 ER -