Jürgen Müller Franz Baader Bernhard Nebel Werner Nutt Gert Smolka Tutorial on Reasoning and Representation with Concept Languages. 681 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#MullerBNNS90 http://dx.doi.org/10.1007/3-540-52885-7_141