Diagrammatic Representation and Inference - Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz; Elzer Schwartz, Stephanie; Uesaka, Yuri (Springer International Publishing, 2016)