Conceptual structures applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings (Springer, 1995)