Brian R. Gaines Representation, Discourse, Logic and Truth: Situating Knowledge Technology. 36-63 1993 conf/iccs/1993 ICCS db/conf/iccs/iccs93.html#Gaines93 http://dx.doi.org/10.1007/3-540-56979-0_2