The Semantics of Rational Contractions. - Jürgen Giesl; Ingrid Neumann (EPIA, 1993)

Strategies for Semantical Contractions. - Jürgen Giesl; Ingrid Neumann (KI, 1994)

Semantic Tableaus for Inheritance Nets. - Ingrid Neumann (TABLEAUX, 1995)

Graded Inheritance Nets for Knowledge Representation. - Ingrid Neumann (FAPR, 1996)

Deduktion in Vererbungsnetzen. - Ingrid Neumann (Shaker, 1998)