DBLP Record 'journals/sosym/SwobodaA04'

BibTeX

@article{DBLP:journals/sosym/SwobodaA04,
  author    = {Nik Swoboda and
               Gerard Allwein},
  title     = {Using DAG transformations to verify Euler/Venn homogeneous
               and Euler/Venn FOL heterogeneous rules of inference},
  journal   = {Software and System Modeling},
  volume    = {3},
  number    = {2},
  year      = {2004},
  pages     = {136-149},
  ee        = {http://www.springerlink.com/index/10.1007/s10270-003-0044-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}