"Diagrammatic Representation and Inference: 4th International Conference, Diagrams 2006, Stanford, CA, USA, 2006, Proceedings" - читать интересную книгу автора (Dave Barker-Plummer, Richard Cox, Nik Swoboda)