DBLP Record 'journals/jar/MoserILSGSM97'

BibTeX

@article{DBLP:journals/jar/MoserILSGSM97,
  author    = {Max Moser and
               Ortrun Ibens and
               Reinhold Letz and
               Joachim Steinbach and
               Christoph Goller and
               Johann Schumann and
               Klaus Mayr},
  title     = {SETHEO and E-SETHEO - The CADE-13 Systems},
  journal   = {J. Autom. Reasoning},
  volume    = {18},
  number    = {2},
  year      = {1997},
  pages     = {237-246},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}