with Streeter, G. , 2004, Knaml: a knowledge representation language for distributed reasoning, in K. E. Wolff, H. D. Pfeiffer & H. Delugach (eds.), Conceptual structures at work, Dordrecht, Springer, pp. 361-374.