Wetter, T. "First Order Logic Foundation of the KADS Conceptual Model" In B. Wielinga et al. (eds.), Current Trends in Knowledge Acquisition, IOS Press, Amsterdam, 1990.

Languages mentioned

• FORKADS {1991}