@inproceedings{WeidenbachEtAlSpass2009,
TITLE = {{SPASS} Version 3.5},
AUTHOR = {Weidenbach, Christoph and Dimova, Dilyana and Fietzke, Arnaud and Suda, Martin and Wischnewski, Patrick},
LANGUAGE = {eng},
LOCALID = {Local-ID: C125716C0050FB51-7B5109775A15D687C125762A00458A44-WeidenbachEtAlSpass2009},
PUBLISHER = {Springer},
YEAR = {2009},
DATE = {2009},
BOOKTITLE = {22nd International Conference on Automated Deduction (CADE-22)},
EDITOR = {Schmidt, Renate A.},
PAGES = {140--145},
SERIES = {Lecture Notes in Artificial Intelligence},
}