Ian Horrocks, Stephan Tobies: Optimisation of Terminological Reasoning. Description Logics 2000: 183-192