Lightweight Description Logics and Branching Time: A Troublesome Marriage

Open in new window