The following publications are possibly variants of this publication:
- 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]
- What Can Spider Diagrams Say?Gem Stapleton, John Howse, John Taylor, Simon Thompson. diagrams 2004: 112-127 [doi]
- Speedith: A Diagrammatic Reasoner for Spider DiagramsMatej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower. diagrams 2012: 163-177 [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]
- The Expressiveness of Spider Diagrams Augmented with ConstantsGem Stapleton, John Howse, John Taylor, Simon Thompson. vl 2004: 91-98 [doi]
- The expressiveness of spider diagrams augmented with constantsGem Stapleton, John Taylor, Simon Thompson, John Howse. JCL (JVLC), 20(1):30-49, 2009. [doi]
- On the expressiveness of second-order spider diagramsPeter Chapman, Gem Stapleton, Aidan Delaney. JCL (JVLC), 24(5):327-349, 2013. [doi]