Proof schemata in propositional calculi - Reinhold Letz; Klaus Mayr (Forschungsberichte, TU Munich, 1990)

SETHEO II - The System and its Calculi. - Reinhold Letz; Klaus Mayr (TABLEAUX, 1992)

Refinements and Extensions of Model Elimination. - Klaus Mayr (LPAR, 1993)

Integrating Antilemma-Constraints into SLD-Resolution. - Klaus Mayr (WLP, 1993)

SETHEO V3.2: Recent Developments - System Abstract. - Christoph Goller; Reinhold Letz; Klaus Mayr; Johann Schumann (CADE, 1994)

Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. - Reinhold Letz; Klaus Mayr; Christoph Goller (J. Autom. Reason., 1994)

Link Deletion in Model Elimination. - Klaus Mayr (TABLEAUX, 1995)

Verfeinerungen und Erweiterungen des Modelleliminationskalküls. - Klaus Mayr (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)