A graphical user interface for SETHEO: proposal - Johann M. Ph. Schumann; Max Moser (Forschungsberichte, TU Munich, 1992)

Improving Transformation Systems for General E-Unification. - Max Moser (RTA, 1993)

Compilation of Equational Reasoning into Logic Programs. - Max Moser (WLP, 1993)

SETHEO and E-SETHEO - The CADE-13 Systems. - Max Moser; Ortrun Ibens; Reinhold Letz; Joachim Steinbach; Christoph Goller; Johann Schumann; Klaus Mayr (J. Autom. Reason., 1997)

Connecting data repositories and DMP tools using maDMPs. - Max Moser; Sotirios Tsepelakis; Tomasz Miksa; David Eckhard (DaMaLOS, 2023)