in´t Veld, L. ; Willem Jonker, and J. W. Spee: The Specification of Complex Reasoning Tasks in Language Comparison KBSSF. In J. Treur and Th. Wetter (eds.): Formal Specification of Complex Reasoning Systems, Ellis Horwood, New York, 1993.

Languages mentioned

• KBSSF {1992}