Relating Resolution and Algebraic Completion for Horn Logic. - Roland Dietrich (CADE, 1986)

Prolog-Arbeiten in Karlsruhe. - Gerhard Goos; Roland Dietrich; Peter Kursawe (Wissensbasierte Systeme, 1987)

A Polymorphic Type System with Subtypes for Prolog. - Roland Dietrich; Frank Hagl (ESOP, 1988)

A Preprocessor Based Module System for Prolog. - Roland Dietrich (TAPSOFT, Vol.2, 1989)

Vergleichende Analyse von Inferenzsystemen. - Roland Dietrich (Oldenbourg, 1990)

How to Use Guarded Functional Programming. - Roland Dietrich (Declarative Programming, 1991)

Exploiting Non-Determinism through Laziness in Guarded Functional Languages. - Roland Dietrich; Hendrik C. R. Lock (TAPSOFT, Vol.2, 1991)