Gem Stapleton, John Howse, Simon J. Thompson, John Taylor 0001, Peter Chapman. On the Completeness of Spider Diagrams Augmented with Constants. In Amirouche Moktefi, Sun-Joo Shin, editors, Visual Reasoning with Diagrams. Studies in Universal Logic, pages 101-133, Birkhäuser / Springer, 2013. [doi]
Abstract is missing.