Omega-MKRP: A Proof Development Environment. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Erica Melis; Dan Nesmith; Jörn Richts; Jörg H. Siekmann (CADE, 1994)

KEIM: A Toolkit for Automated Deduction. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Erica Melis; Dan Nesmith; Jörn Richts; Jörg H. Siekmann (CADE, 1994)

Adapting Methods to Novel Tasks in Proof Planning. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Jörn Richts (KI, 1994)

Planning Mathematical Proofs with Methods. - Xiaorong Huang; Manfred Kerber; Jörn Richts; Arthur Sehn (J. Inf. Process. Cybern., 1994)

Die Beweisentwicklungsumgebung Omega-MKRP. - Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Erica Melis; Dan Nesmith; Jörn Richts; Jörg H. Siekmann (Inform. Forsch. Entwickl., 1996)

Optimisation Techniques for Combining Constraint Solvers. - Stephan Kepser; Jörn Richts (FroCoS, 1998)

UNIMOK: A System for Combining Equational Unification Algorithm. - Stephan Kepser; Jörn Richts (RTA, 1999)

Effiziente Entscheidungsverfahren zur E-Unifikation. - Jörn Richts (Shaker, 2000)