John F. Sowa Relating Diagrams to Logic. 1-35 1993 conf/iccs/1993 ICCS db/conf/iccs/iccs93.html#Sowa93 http://dx.doi.org/10.1007/3-540-56979-0_1