Wellformedness Properties in Euler Diagrams: Which Should Be Used? | IEEE Journals & Magazine | IEEE Xplore