Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen. - Werner Dilger; Agnes Janson (GWAI, 1983)

Intelligent Backtracking in Deduction Systems by Means of Extended Unification Graphs. - Werner Dilger; Agnes Janson (J. Autom. Reason., 1986)

Ein prozeßorientierter Ansatz zur qualitativen Analyse und Simulation dynamischer Systeme. - Agnes Janson; Gerhard Sutschet (Expertensysteme, 1987)