Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.

Nik Swoboda Gerard Allwein Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. 136-149 2004 3 Software and System Modeling 2 http://www.springerlink.com/index/10.1007/s10270-003-0044-8 db/journals/sosym/sosym3.html#SwobodaA04