Max Moser Ortrun Ibens Reinhold Letz Joachim Steinbach Christoph Goller Johann Schumann Klaus Mayr SETHEO and E-SETHEO - The CADE-13 Systems. 237-246 1997 18 J. Autom. Reasoning 2 db/journals/jar/jar18.html#MoserILSGSM97