"Lightweight Description Logics and Branching Time: A Troublesome Marriage."

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics