{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T10:10:03Z","timestamp":1760955003602},"reference-count":59,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T00:00:00Z","timestamp":1180742400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2007,11,19]]},"DOI":"10.1007\/s10817-007-9069-y","type":"journal-article","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T15:45:11Z","timestamp":1180712711000},"page":"431-470","source":"Crossref","is-referenced-by-count":29,"title":["Automated Theorem Proving in Euler Diagram Systems"],"prefix":"10.1007","volume":"39","author":[{"given":"Gem","family":"Stapleton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judith","family":"Masthoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Flower","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Fish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Southern","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,6,2]]},"reference":[{"key":"9069_CR1","volume-title":"Hyperproof","author":"J. Barwise","year":"1994","unstructured":"Barwise, J., Etchemendy, J.: Hyperproof. CSLI Press, Stanford (1994)"},{"key":"9069_CR2","unstructured":"Benoy,\u00a0F., Rodgers, P.: Evaluating the comprehension of Euler diagrams. In: 2nd International Workshop on Euler Diagrams, Paris, pp. 29\u201333 (2005)"},{"key":"9069_CR3","first-page":"466","volume-title":"Proceedings of Graph Drawing 2003. LNCS, vol.\u00a02912","author":"S. Chow","year":"2003","unstructured":"Chow, S., Ruskey, F.: Drawing area-proportional Venn and Euler diagrams. In: Proceedings of Graph Drawing 2003. LNCS, vol.\u00a02912, pp.\u00a0466\u2013477. Springer, Berlin Heidelberg New York (2003)"},{"key":"9069_CR4","doi-asserted-by":"crossref","unstructured":"Clark, R.: Failure mode modular de-composition using spider diagrams. In: 1st International Workshop on Euler Diagrams, Brighton 2004. ENTCS, vol.\u00a0134, pp.\u00a019\u201331 (2005)","DOI":"10.1016\/j.entcs.2005.02.018"},{"key":"9069_CR5","first-page":"120","volume-title":"7th International Conference on Information Visualisation, London","author":"R. DeChiara","year":"2003","unstructured":"DeChiara, R., Erra, U., Scarano, V.: VennFS: A Venn diagram file manager. In: 7th International Conference on Information Visualisation, London, pp. 120-126. IEEE Computer Society Press, Los Alamitos, CA (2003)"},{"issue":"3","key":"9069_CR6","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1145\/3828.3830","volume":"32","author":"R. Dechter","year":"1985","unstructured":"Dechter, R., Pearl, J.: Generalized best-first search strategies and the optimality of A*. J. Assoc. Comput. Mach. 32(3), 505\u2013536 (1985)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9069_CR7","doi-asserted-by":"crossref","unstructured":"Dunn-Davies,\u00a0H., Cunningham, R.: Propostional statecharts for agent interaction protocols. In: 1st International Workshop on Euler Diagrams, Brighton 2004. ENTCS, vol.\u00a0134, pp.\u00a055\u201375. Elsevier, Amsterdam (2005)","DOI":"10.1016\/j.entcs.2005.02.020"},{"key":"9069_CR8","volume-title":"Algorithms for Memory Hierarchies. LNCS, vol.\u00a02625","author":"S. Edelkamp","year":"2003","unstructured":"Edelkamp, S.: Memory limitations in artificial intelligence. In: Meyer, U. et al. (eds.),: Algorithms for Memory Hierarchies. LNCS, vol.\u00a02625, pp.\u00a0233-250. Springer, Berlin Heidelberg New York (2003)"},{"key":"9069_CR9","first-page":"53","volume-title":"Visual Languages and Formal Methods, Rome 2004. ENTCS, vol. 127","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flower, J.: Investigating reasoning with constraint diagrams. In: Visual Languages and Formal Methods, Rome 2004. ENTCS, vol.\u00a0127, pp. 53\u201369. Elsevier, Amsterdam (2005)"},{"key":"9069_CR10","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. J. Visual Lang. Comput. 16, 541\u2013573 (2005)","journal-title":"J. Visual Lang. Comput."},{"key":"9069_CR11","unstructured":"Fish, A., Stapleton, G.: Formal issues in languages based on closed curves. In: 11th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing, Knowledge Systems Institute, Grand Canyon, pp. 161\u2013167 (2006)"},{"key":"9069_CR12","first-page":"61","volume-title":"2nd International Conference on the Theory and Application of Diagrams, Callaway Gardens, GA, LNAI 2317","author":"J. Flower","year":"2002","unstructured":"Flower, J., Howse, J.: Generating Euler diagrams. In: 2nd International Conference on the Theory and Application of Diagrams, Callaway Gardens, GA, LNAI 2317, pp. 61\u201375. Springer, Berlin Heidelberg New York (2002)"},{"key":"9069_CR13","unstructured":"Flower, J., Masthoff, J., Stapleton, G.: Generating proofs with spider diagrams using heuristics. In: 10th International Conference on Distributed Multimedia Systems, International Conference on Visual Languages and Computing, Knowledge Systems Institute, Banff, pp. 279\u2013285, (2004)"},{"key":"9069_CR14","first-page":"166","volume-title":"3rd International Conference on the Theory and Application of Diagrams, Cambridge. LNAI, vol.\u00a02980","author":"J. Flower","year":"2004","unstructured":"Flower, J., Masthoff, J., Stapleton, G.: Generating readable proofs: a heuristic approach to theorem proving with spider diagrams. In: 3rd International Conference on the Theory and Application of Diagrams, Cambridge. LNAI, vol.\u00a02980, pp. 166\u2013181. Springer, Berlin Heidelberg New York (2004)"},{"key":"9069_CR15","first-page":"272","volume-title":"7th International Conference on Information Visualisation, London","author":"J. Flower","year":"2003","unstructured":"Flower, J., Rodgers, P., Mutton, P.: Layout metrics for Euler diagrams. In: 7th International Conference on Information Visualisation, London, pp. 272\u2013280. IEEE Computer Society Press, Los Alamitos, CA (2003)"},{"key":"9069_CR16","first-page":"116","volume-title":"Computing: The Australasian Theory Symposium, Dunedin. ENTCS, vol.\u00a091","author":"J. Flower","year":"2004","unstructured":"Flower, J., Stapleton, G.: Automated theorem proving with spider diagrams. In: Computing: The Australasian Theory Symposium, Dunedin. ENTCS, vol.\u00a091, pp. 116\u2013132. Elsevier, Amsterdam (2004)"},{"key":"9069_CR17","first-page":"130","volume-title":"IEEE Symposium on Visual Languages","author":"J. Gil","year":"1999","unstructured":"Gil, J., Howse, J., Kent, S.: Formalising spider diagrams. In: IEEE Symposium on Visual Languages, pp. 130-137. IEEE Computer Society Press, Los Alamitos, CA (1999)"},{"key":"9069_CR18","first-page":"134","volume-title":"Computers and Thought","author":"H. Gelernter","year":"1963","unstructured":"Gelernter, H.: Realization of a geometry theorem proving machine. In: Computers and Thought, pp. 134\u2013152. McGraw-Hill, New York (1963)"},{"key":"9069_CR19","volume-title":"Logic and Visual Information","author":"E. Hammer","year":"1995","unstructured":"Hammer, E.: Logic and Visual Information. CSLI Publications, Stanford (1995)"},{"issue":"2","key":"9069_CR20","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"P. Hart","year":"1968","unstructured":"Hart, P., Nilsson, N., Raphael, B.: A formal basis for the heuristic determination of minimum cost paths. IEEE Trans. Syst. Sci. Cybern. 4(2), 100\u2013107 (1968)","journal-title":"IEEE Trans. Syst. Sci. Cybern."},{"key":"9069_CR21","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/1088622.1088641","volume-title":"3rd International Conference on Knowledge Capture","author":"P. Hayes","year":"2005","unstructured":"Hayes,\u00a0P., Eskridge, T., Saavedra, R., Reichherzer, T., Mehrotra, M., Bobrovnikoff, D.: Collaborative knowledge capture in ontologies. In: 3rd International Conference on Knowledge Capture, pp. 99-106. ACM Press, New York (2005)"},{"issue":"3","key":"9069_CR22","doi-asserted-by":"crossref","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. J. Softw. Syst. Model. 4(3), 310\u2013325 (2005)","journal-title":"J. Softw. Syst. Model."},{"key":"9069_CR23","first-page":"76","volume-title":"2nd International Conference on the Theory and Application of Diagrams, Georgia. LNAI, vol.\u00a02317","author":"J. Howse","year":"2002","unstructured":"Howse, J., Molina, F., Shin, S.-J., Taylor, J.: On diagram tokens and types. In: 2nd International Conference on the Theory and Application of Diagrams, Georgia. LNAI, vol.\u00a02317, pp.\u00a076\u201390. Spinger, Berlin Heidelberg New York (2002)"},{"key":"9069_CR24","first-page":"146","volume-title":"2nd International Conference on the Theory and Application of Diagrams, Callaway Gardens, GA. LNAI, vol.\u00a02317","author":"J. Howse","year":"2002","unstructured":"Howse, J., Stapleton, G., Flower, J., Taylor, J.: Corresponding regions in Euler diagrams. In: 2nd International Conference on the Theory and Application of Diagrams, Callaway Gardens, GA. LNAI, vol.\u00a02317, pp. 146\u2013160. Springer, Berlin Heidelberg New York (2002)"},{"key":"9069_CR25","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 J. Comput. Math. 8, 145\u2013194 (2005)","journal-title":". LMS J. Comput. Math."},{"key":"9069_CR26","volume-title":"Mathematical Reasoning with Diagrams","author":"M. Jamnik","year":"2001","unstructured":"Jamnik, M.: Mathematical Reasoning with Diagrams. CSLI Publications, Stanford (2001)"},{"key":"9069_CR27","first-page":"528","volume-title":"15th International Joint Conference on Artificial Intelligence, vol. 1","author":"M. Jamnik","year":"1997","unstructured":"Jamnik, M., Bundy, A., Green, I.: Automation of diagrammatic reasoning. In: 15th International Joint Conference on Artificial Intelligence, vol. 1, pp. 528\u2013533. Morgan Kaufmann, San Mateo, CA (1997)"},{"key":"9069_CR28","first-page":"147","volume-title":"3rd International Conference on the Theory and Application of Diagrams, Cambridge. LNAI, vol.\u00a02980","author":"C. John","year":"2004","unstructured":"John, C.: Reasoning with projected contours. In: 3rd International Conference on the Theory and Application of Diagrams, Cambridge. LNAI, vol.\u00a02980, pp. 147\u2013150. Springer, Berlin Heidelberg New York (2004)"},{"key":"9069_CR29","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1145\/263698.263756","volume-title":"OOPSLA","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: visualizing invariants in object oriented modelling. In: OOPSLA, pp. 327\u2013341. ACM Press, New York (1997)"},{"issue":"8","key":"9069_CR30","doi-asserted-by":"crossref","first-page":"1592","DOI":"10.1093\/bioinformatics\/bti169","volume":"21","author":"H. Kestler","year":"2005","unstructured":"Kestler, H., Muller, A., Gress, T., Buchholz, M.: Generalized Venn diagrams: a new method for visualizing complex genetic set relations. Bioinformatics 21(8), 1592-1595 (2005)","journal-title":"Bioinformatics"},{"key":"9069_CR31","first-page":"102","volume-title":"Visualization of formal specifications","author":"S.-K. Kim","year":"1999","unstructured":"Kim, S.-K., Carrington, D.: Visualization of formal specifications. 6th Asia Pacific Software Engineering Conference, pp. 102\u2013109. IEEE Computer Society Press, Los Alamitos, CA (1999)"},{"key":"9069_CR32","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J. Larkin","year":"1987","unstructured":"Larkin, J., Simon, H.: Why a diagram is (sometimes) worth ten thousand words. Cogn. Sci. 11, 5\u201399 (1987)","journal-title":"Cogn. Sci."},{"issue":"1","key":"9069_CR33","first-page":"89","volume":"6","author":"O. Lemon","year":"1997","unstructured":"Lemon, O., Pratt, I.: On spatial logic and the complexity of diagrammatic reasoning. Mach. Graph. Vis. 6(1), 89\u2013108 (1997)","journal-title":"Mach. Graph. Vis."},{"key":"9069_CR34","unstructured":"Lovdahl, J.: Towards a visual editing environment for the languages of the semantic web. Ph.D. thesis, Linkoping University (2002)"},{"key":"9069_CR35","volume-title":"Artificial Intelligence: Structures and Strategies for Complex Problem Solving","author":"G. Luger","year":"2002","unstructured":"Luger, G.: Artificial Intelligence: Structures and Strategies for Complex Problem Solving. Addison-Wesley, Reading, MA (2002)"},{"key":"9069_CR36","unstructured":"MacKenzie, D.: Computers and the sociology of mathematical proof. In: 3rd Northern Formal Methods Workshop, http:\/\/ewic.bcs.org\/conferences\/1998\/3rdfacs\/papers\/paper13.pdf (1998)"},{"key":"9069_CR37","first-page":"4","volume-title":"The Basic Science of Oncology","author":"J. McLaughlin","year":"2004","unstructured":"McLaughlin, J., Gallinger, S.: Cancer epidemiology. In: The Basic Science of Oncology, pp. 4\u201324. McGraw-Hill, New York (2004)"},{"key":"9069_CR38","unstructured":"Misue, K., Eades, P., Lai, W., Sugiyama, K.: Layout adjustment and the mental map. Technical Report IIAS-RR-94-1E, Fujitsu Laboratories (1994)"},{"key":"9069_CR39","unstructured":"Molina, F.: Reasoning with Extended Venn-Peirce Diagrammatic Systems. Ph.D. thesis, University of Brighton (2001)"},{"key":"9069_CR40","unstructured":"Oberlander, J., Stenning, K., Cox, R.: Hyperproof: the multimodal moral. In: 2nd Conference on Information-theoretic Approaches to Logic, Language, and Computation. Regent\u2019s College, London (1996)"},{"key":"9069_CR41","unstructured":"Patrascoiu, O., Thompson, S., Rodgers, P.: Tableaux for diagrammatic reasoning. In: 11th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing, Knowledge Systems Institute, Banff, pp. 279\u2013286 (2005)"},{"key":"9069_CR42","volume-title":"Collected Papers, vol. 4","author":"C. Peirce","year":"1933","unstructured":"Peirce, C.: Collected Papers, vol. 4. Harvard University Press, Cambridge, MA (1933)"},{"key":"9069_CR43","unstructured":"Puigsegur,\u00a0J., Agusti, J.: Visual logic programming by means of diagram transformations. In: Joint Conference on Declarative Programming, La Coruna, pp. 311\u2013328 (1998)"},{"key":"9069_CR44","unstructured":"Rector, A.: Specifying values in OWL: value partitions and value Sets. W3C Editors Draft 02 (2005)"},{"key":"9069_CR45","first-page":"147","volume-title":"IEEE Symposium on Visual Languages and Human Centric Computing, Rome","author":"P. Rodgers","year":"2004","unstructured":"Rodgers, P., Mutton, P., Flower, J.: Dynamic Euler diagram drawing. In: IEEE Symposium on Visual Languages and Human Centric Computing, Rome, pp. 147\u2013156. IEEE Computer Society Press, Los Alamitos, CA (2004)"},{"key":"9069_CR46","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs, NJ (2003)"},{"key":"9069_CR47","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/3-540-44590-0_25","volume-title":"1st International Conference on the Theory and Application of Diagrams, Edinburgh. LNAI, vol.\u00a01889","author":"H. Sawamura","year":"2000","unstructured":"Sawamura, H., Kiyozuka, K.: JVenn: a visual reasoning system with diagrams and sentences. In: 1st International Conference on the Theory and Application of Diagrams, Edinburgh. LNAI, vol.\u00a01889, pp. 271\u2013285. Springer, Berlin Heidelberg New York (2000)"},{"key":"9069_CR48","volume-title":"The Logical Status of Diagrams","author":"S.-J. Shin","year":"1994","unstructured":"Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"key":"9069_CR49","first-page":"127","volume-title":"1st International Workshop on Euler Diagrams, Brighton 2004. ENTCS, vol.\u00a0134","author":"G. Stapleton","year":"2005","unstructured":"Stapleton, G.: A survey of reasoning systems based on Euler diagrams. In: 1st International Workshop on Euler Diagrams, Brighton 2004. ENTCS, vol.\u00a0134, pp. 127-151. Elsevier, Amsterdam (2005)"},{"key":"9069_CR50","unstructured":"Stapleton, G., Howse, J., Taylor, J.: A constraint diagram reasoning system. In: 9th International Conference on Distributed Multimedia Systems, International Conference on Visual Languages and Computing, Knowledge Systems Institute, Miami, pp. 263\u2013270 (2003)"},{"issue":"6","key":"9069_CR51","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1093\/logcom\/exi041","volume":"15","author":"G. Stapleton","year":"2005","unstructured":"Stapleton, G., Howse, J., Taylor, J.: A decidable constraint diagram reasoning system. J. Log. Comput. 15(6), 541\u2013573 (2005)","journal-title":"J. Log. Comput."},{"key":"9069_CR52","unstructured":"Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Appendices for automated theorem proving in Euler diagram systems. Technical Report VMG.06.2, University of Brighton, available from www.cmis.brighton.ac.uk\/research\/vmg\/publications.htm (2006)"},{"issue":"6","key":"9069_CR53","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1093\/logcom\/14.6.857","volume":"14","author":"G. Stapleton","year":"2004","unstructured":"Stapleton, G., Thompson, S., Howse, J., Taylor, J.: The expressiveness of spider diagrams. J. Log. Comput. 14(6), 857\u2013880 (2004)","journal-title":"J. Log. Comput."},{"key":"9069_CR54","first-page":"371","volume-title":"Diagrammatic Representation and Reasoning","author":"N. Swoboda","year":"2001","unstructured":"Swoboda, N.: Implementing Euler\/Venn reasoning systems. In: Anderson, M., Meyer, B., Oliver, P., (eds.), Diagrammatic Representation and Reasoning, pp. 371\u2013386. Springer, Berlin Heidelberg New York (2001)"},{"issue":"2","key":"9069_CR55","doi-asserted-by":"crossref","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. J. Softw. Syst. Model. 3(2), 136\u2013149 (2004)","journal-title":"J. Softw. Syst. Model."},{"key":"9069_CR56","first-page":"128","volume-title":"3rd International Conference on the Theory and Application of Diagrams, Cambridge. LNAI, vol.\u00a02980","author":"A. Verroust","year":"2004","unstructured":"Verroust, A., Viaud, M.-L.: Ensuring the drawability of Euler diagrams for up to eight sets. In: 3rd International Conference on the Theory and Application of Diagrams, Cambridge. LNAI, vol.\u00a02980, pp. 128\u2013141. Springer, Berlin Heidelberg New York (2004)"},{"key":"9069_CR57","first-page":"331","volume-title":"International Joint Conference on Automated Reasoning. LNCS, vol. 3097","author":"D. Winterstein","year":"2004","unstructured":"Winterstein,\u00a0D., Bundy, A., Gurr, C.: Dr Doodle: a diagrammatic theorem prover. In: International Joint Conference on Automated Reasoning. LNCS, vol. 3097, pp. 331\u2013335. Springer, Berlin Heidelberg New York (2004)"},{"key":"9069_CR58","first-page":"29","volume-title":"3rd International Conference on the Theory and Application of Diagrams, Cambridge. LNAI, vol.\u00a02980","author":"D. Winterstein","year":"2004","unstructured":"Winterstein,\u00a0D., Bundy, A., Jamnik, M.: On differences between the real and physical plane. In: 3rd International Conference on the Theory and Application of Diagrams, Cambridge. LNAI, vol.\u00a02980, pp. 29\u201331. Springer, Berlin Heidelberg New York (2004)"},{"key":"9069_CR59","unstructured":"Zhao, Y., L\u00f6vdahl, J.: A reuse based method of developing the ontology for e-procurement. In: Nordic Conference on Web Services, pp. 101\u2013112 (2003)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-007-9069-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-007-9069-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-007-9069-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T13:16:44Z","timestamp":1628947004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-007-9069-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,2]]},"references-count":59,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,11,19]]}},"alternative-id":["9069"],"URL":"https:\/\/doi.org\/10.1007\/s10817-007-9069-y","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6,2]]}}}