The following publications are possibly variants of this publication:
- The Expressiveness of Spider Diagrams Augmented with ConstantsGem Stapleton, John Howse, John Taylor, Simon Thompson. vl 2004: 91-98 [doi]
- On the Completeness and Expressiveness of Spider Diagram SystemsJohn Howse, Fernando Molina, John Taylor. diagrams 2000: 26-41 [doi]
- Fragments of Spider Diagrams of Order and Their Relative ExpressivenessAidan Delaney, Gem Stapleton, John Taylor, Simon J. Thompson. diagrams 2010: 69-83 [doi]
- On the Completeness of Spider Diagrams Augmented with ConstantsGem Stapleton, John Howse, Simon J. Thompson, John Taylor 0001, Peter Chapman. In Amirouche Moktefi, Sun-Joo Shin, editors, Visual Reasoning with Diagrams. Studies in Universal Logic, pages 101-133, Birkhäuser / Springer, 2013. [doi]
- Spider Diagrams Augmented with Constants: A Complete SystemGem Stapleton. dmsn 2008: 292-299
- Speedith: A Diagrammatic Reasoner for Spider DiagramsMatej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower. diagrams 2012: 163-177 [doi]
- What Can Spider Diagrams Say?Gem Stapleton, John Howse, John Taylor, Simon Thompson. diagrams 2004: 112-127 [doi]
- The Expressiveness of Spider DiagramsGem Stapleton, John Howse, John Taylor, Simon Thompson. logcom, 14(6):857-880, 2004. [doi]
- Generalizing SpidersGem Stapleton, John Howse, Kate Toller. diagrams 2006: 148-150 [doi]
- Spider Diagrams of Order and a Hierarchy of Star-Free Regular LanguagesAidan Delaney, John Taylor, Simon Thompson. diagrams 2008: 172-187 [doi]
- Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider DiagramsJean Flower, Judith Masthoff, Gem Stapleton. diagrams 2004: 166-181 [doi]
- On the expressiveness of second-order spider diagramsPeter Chapman, Gem Stapleton, Aidan Delaney. JCL (JVLC), 24(5):327-349, 2013. [doi]