@incollection{Weidenbach_2009,
    doi = {10.1007/978-3-642-02959-2_10},
    url = {https://doi.org/10.1007%2F978-3-642-02959-2_10},
    year = {2009},
    publisher = {Springer Berlin Heidelberg},
    pages = {140--145},
    author = {Christoph Weidenbach and Dilyana Dimova and Arnaud Fietzke and Rohit Kumar and Martin Suda and Patrick Wischnewski},
    title = {{SPASS} Version 3.5},
    booktitle = {Automated Deduction {\textendash} {CADE}-22}
}

@incollection{Weidenbach_2009, doi = {10.1007/978-3-642-02959-2_10}, url = {https://doi.org/10.1007%2F978-3-642-02959-2_10}, year = {2009}, publisher = {Springer Berlin Heidelberg}, pages = {140--145}, author = {Christoph Weidenbach and Dilyana Dimova and Arnaud Fietzke and Rohit Kumar and Martin Suda and Patrick Wischnewski}, title = {{SPASS} Version 3.5}, booktitle = {Automated Deduction {\textendash} {CADE}-22} }