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