Generating Euler diagrams (0)

by J Flower, J Howse
Venue:Proc. Diagrams 2002 LNCS 2317