Bernhard Nebel Computational Complexity of Terminological Reasoning in BACK. 371-383 1988 34 Artif. Intell. 3 db/journals/ai/ai34.html#Nebel88