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