The following publications are possibly variants of this publication:
- 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]
- Spider Diagrams with Absence: Inference Rules for Clutter ReductionGem Stapleton, Lopamudra Choudhury, Mihir K. Chakraborty. jvlc, 4:20-37, 2018. [doi]
- Spider DiagramsJohn Howse, Gem Stapleton, John Taylor 0001. lmsjcm, 8:145-194, 2005. [doi]