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]
- 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]
- Fragments of Spider Diagrams of Order and Their Relative ExpressivenessAidan Delaney, Gem Stapleton, John Taylor, Simon J. Thompson. diagrams 2010: 69-83 [doi]
- Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider DiagramsJean Flower, Judith Masthoff, Gem Stapleton. diagrams 2004: 166-181 [doi]
- The Semiotics of Spider DiagramsJim Burton, John Howse. lu, 11(2):177-204, 2017. [doi]
- Formalizing Spider DiagramsJoseph Gil, John Howse, Stuart Kent. vl 1999: 130-137 [doi]
- Spider Diagrams of OrderAidan Delaney, Gem Stapleton. vl 2007: 27-39 [doi]