James Geller Propositional Representation for Graphical Knowledge. 97-131 1991 34 International Journal of Man-Machine Studies 1 db/journals/ijmms/ijmms34.html#Geller91