1. Proc. Workshop Knowledge-based Systems for Knowledge Management in Enterprises, 21st Annual German Conference on AI (KI'97);Abecker,1977
2. Formally specifying re-usable knowledge model components;Aben;Knowledge Acquisition,1993
3. Formal Methods in Knowledge Engineering;Aben,1995
4. Multiple Domain Models in Diagnostic Reasoning;Abu-Hanna,1994
5. Modeling problem-solving methods in NewKARL;Angele,1996