Diagrammatic representation and inference : 4th international conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006 : proceedings - Barker-Plummer, Dave (Springer, 2006)