%0 Conference Paper %1 conf/itp/BlanchettePWW12 %A Blanchette, Jasmin Christian %A Popescu, Andrei %A Wand, Daniel %A Weidenbach, Christoph %B ITP %D 2012 %E Beringer, Lennart %E Felty, Amy P. %I Springer %K %P 345-360 %T More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification. %U http://dblp.uni-trier.de/db/conf/itp/itp2012.html#BlanchettePWW12 %V 7406 %@ 978-3-642-32346-1

@inproceedings{conf/itp/BlanchettePWW12, added-at = {2023-12-13T05:00:23.000+0100}, author = {Blanchette, Jasmin Christian and Popescu, Andrei and Wand, Daniel and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/27842eac8c094f91b200e24700796504b/admin}, booktitle = {ITP}, crossref = {conf/itp/2012}, editor = {Beringer, Lennart and Felty, Amy P.}, ee = {https://doi.org/10.1007/978-3-642-32347-8_24}, interhash = {9d3989dd4cdd9b274d63ad16f5a7401f}, intrahash = {7842eac8c094f91b200e24700796504b}, isbn = {978-3-642-32346-1}, keywords = {}, pages = {345-360}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:00:23.000+0100}, title = {More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2012.html#BlanchettePWW12}, volume = 7406, year = 2012 }