SPASS & FLOTTER, Version 0.42

@inproceedings{pub1614,
    author = {

Weidenbach, Christoph
 and 

Gaede, Bernd
 and 

Rock, Georg
},
    editor = {

McRobbie, M.
 and 

Slaney, J.
},
    title = {SPASS & FLOTTER, Version 0.42},
    booktitle = {13th International Conference on Automated Deduction, CADE--13. International Conference on Automated Deduction (CADE), 13th, July 30-3, New Brunswick, NJ, United States},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {1996},
    volume = {1104},
    pages = {141--145},
    publisher = {Springer}
}