Franz Baader Alfred Kobsa Hans-Jürgen Profitlich AAAI'91 Spring Symposium: Implemented Knowledge Representation and Reasoning Systems. 24-25 1991 5 Künstliche Intell. 3 db/journals/ki/ki5.html#BaaderKP91