@ARTICLE{WeidenbachMeyerEtAl98jar,
AUTHOR = {Weidenbach, Christoph and Meyer, Christoph and Cohrs, Christian and Engel, Thorsten and Keen, Enno},
TITLE = {{SPASS V0.77}},
JOURNAL = {Journal of Automated Reasoning},
PUBLISHER = {Kluwer},
YEAR = {1998},
NUMBER = {1},
VOLUME = {21},
PAGES = {113--113},
ISBN = {0168-7433},
}
Entry last modified by Christine Kiesel, 03/12/2010