Remarks on SASL and the Verification of Functional Programming Languages. - Klaus Nökel; Robert Rehbold; Michael M. Richter (Computation Theory and Logic, 1987)

SASLOG: Lazy Evaluation Meets Backtracking. - Knut Hinkelmann; Klaus Nökel; Robert Rehbold (GWAI, 1988)

A sophisticated expert system for the diagnosis of a CNC machining center. - Klaus-Dieter Althoff; Klaus Nökel; Robert Rehbold; Michael M. Richter (ZOR Methods Model. Oper. Res., 1988)

Bericht zum 2. Workshop Diagnostik-Expertensysteme. - Thomas Beck; Robert Rehbold (Künstliche Intell., 1989)

Bericht zum internationalen Workshop über modellbasierte Diagnose. - Klaus Nökel; Robert Rehbold (Künstliche Intell., 1989)

QUASIMODIS: Modellbasierte Diagnose dynamischer Systeme mit qualitativer Simulation. - Martin Helmut Alt; Robert Rehbold; Ralf Scheidhauer (GWAI, 1990)

Integration modellbasierten Wissens in technische Diagnostik-Expertensysteme. - Robert Rehbold (1991)