Gemmelia Eve Stapleton: Reasoning with constraint diagrams. University of Brighton, UK 2004