Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings - Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan ((Lecture Notes in Computer Science))