G. Stapleton, P. Rodgers, J. Howse, and J. Taylor, “Properties of Euler Diagrams”, ECEASST, vol. 7, Sep. 2007.