Nebel, B. Terminological Reasoning is Inherently Intractable. Artificial Intelligence 43. 1990

Languages mentioned

• NTF {1990}
• TF {1990}