Modale Fragmente von Lww und Lw1w. - Holger Sturm (1997)

Interpolation and Preservation in MLω1. - Holger Sturm (Notre Dame J. Formal Log., 1998)

Fusions of Description Logics. - Franz Baader; Carsten Lutz; Holger Sturm; Frank Wolter (Description Logics, 2000)

Semi-qualitative Reasoning about Distances: A Preliminary Report. - Holger Sturm; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (JELIA, 2000)

Monodic Epistemic Predicate Logic. - Holger Sturm; Frank Wolter; Michael Zakharyaschev (JELIA, 2000)

Elementary Classes in Basic Modal Logic. - Holger Sturm (Stud Logica, 2000)

Modal Horn Classes. - Holger Sturm (Stud Logica, 2000)

Tableaux for Temporal Description Logic with Constant Domains. - Carsten Lutz; Holger Sturm; Frank Wolter; Michael Zakharyaschev (IJCAR, 2001)

First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. - Holger Sturm; Frank Wolter (J. Philos. Log., 2001)

Fusions of Description Logics and Abstract Description Systems. - Franz Baader; Carsten Lutz; Holger Sturm; Frank Wolter (J. Artif. Intell. Res., 2002)

Axiomatizing Distance Logics. - Oliver Kutz; Holger Sturm; Nobu-Yuki Suzuki; Frank Wolter; Michael Zakharyaschev (J. Appl. Non Class. Logics, 2002)

A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. - Holger Sturm; Frank Wolter (J. Log. Comput., 2002)

A Tableau Decision Algorithm for Modalized ALC with Constant Domains. - Carsten Lutz; Holger Sturm; Frank Wolter; Michael Zakharyaschev (Stud Logica, 2002)

Logics of metric spaces. - Oliver Kutz; Frank Wolter; Holger Sturm; Nobu-Yuki Suzuki; Michael Zakharyaschev (ACM Trans. Comput. Log., 2003)