Meyer, B. (2000), 'A constraint-based framework for diagrammatic reasoning', Applied Artificial Intelligence 14 , 327--344.