An Integrated Non-Monotonic and Reason Maintenance System. - Michael Reinfrank; Hartmut Freitag (Begründungsverwaltung, 1986)

An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System. - Hartmut Freitag; Michael Reinfrank (GWAI, 1987)

A Non-Monotonic Deduction System Based on (A)TMS. - Hartmut Freitag; Michael Reinfrank (ECAI, 1988)

Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-Monotonic Inference. - Michael Reinfrank; Hartmut Freitag (FGCS, 1988)

Propagation of Temporally Indexed Values in Multiple Contexts. - Oskar Dressler; Hartmut Freitag (GWAI, 1989)

Truth Maintenance Systeme. - Oskar Dressler; Hartmut Freitag (Künstliche Intell., 1989)

A Generic Measurement Proposer. - Hartmut Freitag (Expert Systems in Engineering, 1990)

Bericht über den First International Workshop on Principles of Diagnosis. - Hartmut Freitag (Künstliche Intell., 1990)

Focusing on Independent Diagnosis Problems. - Hartmut Freitag; Gerhard Friedrich (KR, 1992)

Methoden zur modellbasierten Diagnose von Systemen mit komplexer Struktur und zeitabhängigem Verhalten = Methods of model based diagnosis for systems with complex structure and time dependent behavior. - Hartmut Freitag (1993)

Prediction Sharing Across Time and Contexts. - Oskar Dressler; Hartmut Freitag (AAAI, 1994)