{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T23:58:37Z","timestamp":1740095917962,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540877295"},{"type":"electronic","value":"9783540877301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87730-1_20","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T02:45:47Z","timestamp":1221965147000},"page":"206-221","source":"Crossref","is-referenced-by-count":2,"title":["A Normal Form for Euler Diagrams with Shading"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Fish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"John","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","first-page":"235","volume-title":"Diagrammatic Reasoning","author":"D. Harel","year":"1998","unstructured":"Harel, D.: On visual formalisms. In: Glasgow, J., Narayan, N.H., Chandrasekaran, B. (eds.) Diagrammatic Reasoning, pp. 235\u2013271. MIT Press, Cambridge (1998)"},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics\u00a08, 145\u2013194 (2005)","journal-title":"LMS Journal of Computation and Mathematics"},{"issue":"2","key":"20_CR3","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s10270-003-0044-8","volume":"3","author":"N. Swoboda","year":"2004","unstructured":"Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling\u00a03(2), 136\u2013149 (2004)","journal-title":"Journal on Software and System Modeling"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/263698.263756","volume-title":"Proceedings of OOPSLA 1997","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proceedings of OOPSLA 1997, October 1997, pp. 327\u2013341. ACM Press, New York (1997)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Ruskey, F.: A survey of Venn diagrams. Electronic Journal of Combinatorics (1997, updated 2001, 2005), www.combinatorics.org\/Surveys\/ds5\/VennEJC.html","DOI":"10.37236\/26"},{"key":"20_CR6","first-page":"120","volume-title":"Proceedings of Information Visualisation","author":"R. DeChiara","year":"2003","unstructured":"DeChiara, R., Erra, U., Scarano, V.: VennFS: A Venn diagram file manager. In: Proceedings of Information Visualisation, pp. 120\u2013126. IEEE Computer Society, Los Alamitos (2003)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Thi\u00e8vre, J., Viaud, M., Verroust-Blondet, A.: Using euler diagrams in traditional library environments. In: Euler Diagrams 2004. ENTCS, vol.\u00a0134, pp. 189\u2013202 (2005)","DOI":"10.1016\/j.entcs.2005.02.024"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/s10270-004-0074-x","volume":"4","author":"J. Howse","year":"2005","unstructured":"Howse, J., Schuman, S.: Precise visual modelling. Journal of Software and Systems Modeling\u00a04, 310\u2013325 (2005)","journal-title":"Journal of Software and Systems Modeling"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Flower, J., Fish, A., Howse, J.: Euler diagram generation. Journal of Visual Languages and Computing (to appear, 2008), http:\/\/dx.doi.org\/10.1016\/j.jvlc.2008.01.004","DOI":"10.1016\/j.jvlc.2008.01.004"},{"key":"20_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/11783183_36","volume-title":"Diagrammatic Representation and Inference","author":"C. John","year":"2006","unstructured":"John, C., Fish, A., Howse, J., Taylor, J.: Exploring the notion of clutter in Euler diagrams. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS (LNAI), vol.\u00a04045, pp. 267\u2013282. Springer, Heidelberg (2006)"},{"key":"20_CR11","unstructured":"Stapleton, G., Masthoff, J.: Incorporating negation into visual logics: A case study using Euler diagrams. In: Visual Languages and Computing 2007, Knowledge Systems Institute, pp. 187\u2013194 (2007)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/505168.505185","volume-title":"Proceedings of 2nd International Conference on Formal Ontology in Information Systems","author":"J. Howse","year":"2001","unstructured":"Howse, J., Molina, F., Shin, S.J., Taylor, J.: Type-syntax and token-syntax in diagrammatic systems. In: Proceedings of 2nd International Conference on Formal Ontology in Information Systems, Maine, USA, pp. 174\u2013185. ACM Press, New York (2001)"},{"key":"20_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10270-003-0036-8","volume":"3","author":"J. Flower","year":"2004","unstructured":"Flower, J., Howse, J., Taylor, J.: Nesting in Euler diagrams: syntax, semantics and construction. Software and Systems Modelling\u00a03, 55\u201367 (2004)","journal-title":"Software and Systems Modelling"},{"key":"20_CR14","unstructured":"John, C.: Measuring and Reducing Clutter in Spider Diagrams with Projections. Ph.D thesis, University of Brighton (2006)"},{"key":"20_CR15","first-page":"119","volume-title":"Proc. IEEE Symposium on Visual Languages","author":"J. Gil","year":"2000","unstructured":"Gil, J., Howse, J., Kent, S., Taylor, J.: Projections in Venn-Euler diagrams. In: Proc. IEEE Symposium on Visual Languages, September 2000, pp. 119\u2013126. IEEE Computer Society Press, Los Alamitos (2000)"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87730-1_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:56Z","timestamp":1606183556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87730-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540877295","9783540877301"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87730-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}