A CONSTRAINT-BASED FRAMEWORK FOR DIAGRAMMATIC REASONING. - Meyer, Bernd (Applied Artificial Intelligence, 2000)