Diagrammatic Representation and Inference - Goel, Ashok K.; Jamnik, Mateja; Kanade, Takeo; Narayanan, N. Hari (Springer Berlin Heidelberg, 2010)