Terminologische Logiken. - Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt (Künstliche Intell., 1992)

Concept Logics with Function Symbols. - Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux (ECAI, 1994)

Beliefs in Multi-Agent Worlds: a Terminological Logics Approach. - Armin Laux (ECAI, 1994)

Terminological Logics with Modal Operators. - Franz Baader; Armin Laux (IJCAI (1), 1995)

Task Acquisition with a Description Logic Reasoner. - Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik (KI, 1995)

Constraints and modalities in terminological knowledge representation systems. - Armin Laux (1995)

On Skolemization in Constrained Logics. - Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux (Ann. Math. Artif. Intell., 1996)