Prolog - Grundlagen und Anwendungen, 2. Auflage. - Hans Kleine Büning; Stefan Schmitgen (Teubner, 1988)

Loop Detection in Propositional Prolog Programs. - Hans Kleine Büning; Ulrich Löwen; Stefan Schmitgen (CSL, 1988)

Inconsistency of Production Systems. - Hans Kleine Büning; Ulrich Löwen; Stefan Schmitgen (Data Knowl. Eng., 1989)

Aspekte der Aktualisierung und Pflege regelbasierter Systeme. - Stefan Schmitgen (1989)

Equivalence of Propositional Prolog Programs. - Hans Kleine Büning; Ulrich Löwen; Stefan Schmitgen (J. Autom. Reason., 1990)