@InProceedings{WSH+07,
  author =       {Chr. Weidenbach and R. Schmidt and Th. Hillenbrand
                  and R. Rusev and D. Topi\'{c}},
  title =        {\textsc{Spass} Version 3.0},
  booktitle =    {Proceedings of the 21st International Conference on
                  Automated Deduction},
  pages =        {514--520},
  year =         2007,
  editor =       {F. Pfenning},
  volume =       4603,
  series =       {LNAI},
  publisher =    {Springer-Verlag}
}