Topologische Multisetordnungen. - Jürgen Müller 007; Joachim Steinbach (GWAI, 1986)

TRSPEC: A Term Rewriting Based System for Algebraic Specifications. - Jürgen Avenhaus; Richard Göbel; Bernhard Gramlich; Klaus Madlener; Joachim Steinbach (CTRS, 1987)

COMTES - An Experimental Environment for the Completion of Term Rewriting Systems. - Jürgen Avenhaus; Klaus Madlener; Joachim Steinbach (RTA, 1989)

Extensions and Comparison of Simplification Orderings. - Joachim Steinbach (RTA, 1989)

AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering. - Joachim Steinbach (ALP, 1990)

Improving Assoviative Path Orderings. - Joachim Steinbach (CADE, 1990)

Termination of Combined (Rewrite and lambda-Calculus) Systems. - Carlos Loría-Sáenz; Joachim Steinbach (CTRS, 1992)

Proving Polynomials Positive. - Joachim Steinbach (FSTTCS, 1992)

Simplification Orderings: Putting Them to the Test. - Joachim Steinbach (J. Autom. Reason., 1993)

Termination of rewriting - extensions, comparison and automatic generation of simplification orderings. - Joachim Steinbach (1994)

A Formalism for Representing Orderings. - Joachim Steinbach (Bull. EATCS, 1994)

Generating Polynomial Orderings. - Joachim Steinbach (Inf. Process. Lett., 1994)

Automatic Termination Proofs With Transformation Orderings. - Joachim Steinbach (RTA, 1995)

Simplification Orderings: Histrory of Results. - Joachim Steinbach (Fundam. Informaticae, 1995)

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)