Dániel Varró Automated formal verification of visual modeling languages by model checking. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:2, pp:85-113 [Journal]

Nik Swoboda, Gerard Allwein Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:2, pp:136-149 [Journal]