A Subsumption Algorithm Based on Characteristic Matrices. - Rolf Socher (CADE, 1988)

On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. - Jürgen Müller 007; Rolf Socher-Ambrosius (GWAI, 1988)

Using Theory Resolution to Simplify Interpreted Formulae. - Rolf Socher-Ambrosius (GWAI, 1988)

Reducing the Derivation of Redundant Clauses in Reasoning Systems. - Rolf Socher-Ambrosius (IJCAI, 1989)

A Resolution Calculus Extende by Equivalence. - Jürgen Müller 007; Rolf Socher-Ambrosius (GWAI, 1989)

Detecting Redundancy Caused by Congruent Links in Clause Graphs. - Rolf Socher-Ambrosius (GWAI, 1989)

Workshop on Automated Reasoning. - Jürgen Müller 007; Rolf Socher-Ambrosius (Künstliche Intell., 1989)

Another Technique for Proving Completeness of Ground Resolution. - Rolf Socher-Ambrosius (Bull. EATCS, 1990)

Simplification and reduction for automated theorem proving. - Rolf Socher (1990)

Boolean Algebra Admits No Convergent Term Rewriting System. - Rolf Socher-Ambrosius (RTA, 1991)

Optimizing the Clausal Normal Form Transformation. - Rolf Socher (J. Autom. Reason., 1991)

On the Relation Between Resolution Based and Completion Based Theorem Proving. - Rolf Socher (J. Symb. Comput., 1991)

A Goal Oriented Strategy Based on Completion. - Rolf Socher-Ambrosius (ALP, 1992)

How to Avoid the Derivation of Redundant Clauses in Reasoning Systems. - Rolf Socher-Ambrosius (J. Autom. Reason., 1992)

Unification in Order-Sorted Logic With Term Declarations. - Rolf Socher-Ambrosius (LPAR, 1993)

Deduktionssysteme. - Rolf Socher-Ambrosius (BI-Wissenschaftsverlag, 1994)

A Refined Version of General E-Unification. - Rolf Socher-Ambrosius (CADE, 1994)

Solving Simplification Ordering Constraints. - Patricia Johann; Rolf Socher-Ambrosius (CCL, 1994)

Deduction systems. - Rolf Socher-Ambrosius; Patricia Johann (Springer, 1997)

Wissensverarbeitung - eine Einführung in die künstliche Intelligenz für Informatiker und Ingenieure, 2. Auflage. - Ingo Boersch; Jochen Heinsohn; Rolf Socher (Elsevier Spektrum Akademischer Verlag, 2007)