Kim Marriott Bernd Meyer Non-standard Logics for Diagram Interpretation. 42-57 http://link.springer.de/link/service/series/0558/bibs/1889/18890042.htm 2000 conf/diagrams/2000 Diagrams db/conf/diagrams/diagrams2000.html#MarriottM00