Gem Stapleton: A Survey of Reasoning Systems Based on Euler Diagrams. Euler 2004: 127-151