Harald Eckert Frank Maurer IJCAI'91-Workshop Software Engineering for Knowledge-Based Systems. 38-39 1992 6 KI 1 db/journals/ki/ki6.html#EckertM92