Philippe Martin Conventions and Notations for Knowledge Representation and Retrieval. 41-54 2000 conf/iccs/2000 ICCS db/conf/iccs/iccs2000.html#Martin00 http://dx.doi.org/10.1007/10722280_4