"Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named ..."

Nik Swoboda, Gerard Allwein (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics