{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T10:03:31Z","timestamp":1760954611540},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2004,5,1]],"date-time":"2004-05-01T00:00:00Z","timestamp":1083369600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2004,5]]},"DOI":"10.1007\/s10270-003-0044-8","type":"journal-article","created":{"date-parts":[[2004,3,31]],"date-time":"2004-03-31T11:15:42Z","timestamp":1080731742000},"page":"136-149","source":"Crossref","is-referenced-by-count":37,"title":["Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference"],"prefix":"10.1007","volume":"3","author":[{"given":"Nik","family":"Swoboda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerard","family":"Allwein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,5,1]]},"reference":[{"key":"44_CR1","unstructured":"Barwise J, Etchemendy J (1994) Hyperproof. CSLI Publications, Stanford"},{"key":"44_CR2","unstructured":"Dretske FI (1969) Seeing and Knowing. Chicago University Press, Chicago"},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"Flower J, Howse J (2002) Generating euler diagrams. In: Hegarty et al. [7], pp 61\u201375","DOI":"10.1007\/3-540-46037-3_6"},{"key":"44_CR4","unstructured":"Gil JY, Howse J, Kent S (1999) Constraint diagrams: a step beyond uml. In: Proceedings TOOLS USA. IEEE Computer Society Press, pp 453\u2013463"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Gil JY, Howse J, Kent S (1999) Formalising spider diagrams. In: Proceedings IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press, pp 130\u2013137","DOI":"10.1109\/VL.1999.795884"},{"key":"44_CR6","unstructured":"Hammer EM (1995) Logic and Visual Information. CSLI and FOLLI, Stanford"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"Hegarty M, Meyer B, Narayanan NH (eds) (2002) Diagrammatic Representation and Inference. Lecture Notes in Artificial Intelligence, vol 2317. Springer-Verlag, Berlin","DOI":"10.1007\/3-540-46037-3"},{"key":"44_CR8","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1006\/jvlc.2000.0210","volume":"12","author":"Howse","year":"2001","unstructured":"Howse J, Molina F, Taylor J, Kent S, Gil JY (2001) Spider diagrams: A diagrammatic reasoning system. Journal of Visual Languages and Computing 12(3):299\u2013324, June","journal-title":"Journal of Visual Languages and Computing"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"Howse J, Stapleton G, Flower J, Taylor J (2002) Corresponding regions in euler diagrams. In: Hegarty et al. [7], pp 76\u201390","DOI":"10.1007\/3-540-46037-3_7"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Kent S (1997) Constraint diagrams: visualizing invariants in object-oriented models. In: Proceedings of the 1997 ACM SIGPLAN conference on Object-oriented programming systems, languages and applications. ACM Press, pp 327\u2013341","DOI":"10.1145\/263700.263756"},{"key":"44_CR11","unstructured":"Rumbaugh J, Jacobson I, Booch G (1999) Unified Modeling Language Reference Manual. Addison Wesley Professional"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Sawamura H, Kiyozuka K (2000) Jvenn: A visual reasoning system with diagrams and sentences. In: Anderson M, Cheng P, Haarslev V (eds) Theory and Application of Diagrams, Lecture Notes in Artificial Intelligence, vol 1889. Springer-Verlag, Berlin, pp 271\u2013285","DOI":"10.1007\/3-540-44590-0_25"},{"key":"44_CR13","doi-asserted-by":"crossref","unstructured":"Shin S-J (1995) The Logical Status of Diagrams. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511574696"},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"Swoboda N (2002) Implementing Euler\/Venn reasoning systems. In: Anderson M, Meyer B, Olivier P (eds) Diagrammatic Representation and Reasoning. Springer-Verlag, London, pp 371\u2013386","DOI":"10.1007\/978-1-4471-0109-3_21"},{"key":"44_CR15","doi-asserted-by":"crossref","unstructured":"Swoboda N, Allwein G (2002) A case study of the design and implementation of heterogeneous reasoning systems. In: Magnani L, Nersessian NJ, Pizzi C (eds) Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic, Dordrecht, pp 3\u201320","DOI":"10.1007\/978-94-010-0550-0_1"},{"key":"44_CR16","doi-asserted-by":"crossref","unstructured":"Swoboda N, Allwein G (2002) Modeling heterogeneous systems. In: Hegarty et al. [7], pp 131\u2013145","DOI":"10.1007\/3-540-46037-3_17"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0044-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-003-0044-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0044-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0044-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:55:21Z","timestamp":1559116521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-003-0044-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,5]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,5]]}},"alternative-id":["44"],"URL":"https:\/\/doi.org\/10.1007\/s10270-003-0044-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,5]]}}}