Towards an Implementation of the Temporal Description Logic TLALC. - Christian Günsel; Marco Wittmann (Description Logics, 2001)

A tableaux-based reasoner for temporalised description logics. - Christian Günsel (2005)

Workforce Rostering for Decentrally Controlled Production Systems: A Simulation-based Optimization Framework using a Genetic Algorithm. - Julia Schwemmer; Christian Günsel; Mathias Kühn; Thorsten Schmidt (Logist. Res., 2023)