Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci Diagrammatic Representation and Inference - Springer 2018 - Lecture Notes in Computer Science . Subjects--Index Terms: Computer Science