Sobocinski, P; Wilson, P; Zanasi, F; (2019) CARTOGRAPHER: a Tool for String Diagrammatic Reasoning. In: Roggenbach, M and Sokolova, A, (eds.) 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). (pp. 20:1-20:7). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany.