Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr. SETHEO and E-SETHEO - The CADE-13 Systems. Journal of Automated Reasoning, 18(2):237-246, 1997.
@article{MoserILSGSM97,
title = {SETHEO and E-SETHEO - The CADE-13 Systems},
author = {Max Moser and Ortrun Ibens and Reinhold Letz and Joachim Steinbach and Christoph Goller and Johann Schumann and Klaus Mayr},
year = {1997},
tags = {e-science},
researchr = {https://researchr.org/publication/MoserILSGSM97},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {18},
number = {2},
pages = {237-246},
}