{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T16:48:31Z","timestamp":1778258911925,"version":"3.51.4"},"reference-count":61,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["23220002"],"award-info":[{"award-number":["23220002"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["23220002"],"award-info":[{"award-number":["23220002"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012818","name":"Comunidad de Madrid","doi-asserted-by":"crossref","award":["N-Greens Software-CM (S2013\/ICE-2731)"],"award-info":[{"award-number":["N-Greens Software-CM (S2013\/ICE-2731)"]}],"id":[{"id":"10.13039\/100012818","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"crossref","award":["TIN2015-67522-C3-3-R"],"award-info":[{"award-number":["TIN2015-67522-C3-3-R"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2017,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We present in this paper an interpreter implemented in Maude for non-behavioral CafeOBJ specifications. This alternative implementation poses a number of advantages: (1) it allows Maude tools to be used with CafeOBJ specifications, (2) it improves the performance of some CafeOBJ commands, such as search, (3) it enriches CafeOBJ syntax with Maude syntax, and (4) it makes CafeOBJ easily extensible, since new commands and tools can be included and tested and, once they are sufficiently mature, can be considered for inclusion in the Lisp implementation of CafeOBJ. The current tool presents a number of improvements over the tool presented in previous papers: it supports principal sorts, all kinds of CafeOBJ views, and all the search predicates recently implemented in the system. These improvements have allowed us to run the most recent CafeOBJ specifications, hence proving the robustness of the tool. Moreover, we present case studies illustrating the power of the tool, focusing on the falsification and verification of the NSPK and QLOCK protocols, respectively.<\/jats:p>","DOI":"10.1007\/s00165-016-0398-7","type":"journal-article","created":{"date-parts":[[2016,10,19]],"date-time":"2016-10-19T07:28:07Z","timestamp":1476862087000},"page":"309-334","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["A Maude environment for CafeOBJ"],"prefix":"10.1145","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9716-4612","authenticated-orcid":false,"given":"Adri\u00e1n","family":"Riesco","sequence":"first","affiliation":[{"name":"Facultad de Inform\u00e1tica de la Universidad Complutense, C\/ Profesor Jos\u00e9 Garc\u00eda Santesmases, 9 Ciudad Universitaria, 28040, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuhiro","family":"Ogata","sequence":"additional","affiliation":[{"name":"School of Information Science, JAIST, Nomi, Japan"},{"name":"Research Center for Software Verification, JAIST, Nomi, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kokichi","family":"Futatsugi","sequence":"additional","affiliation":[{"name":"Research Center for Software Verification, JAIST, Nomi, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"#cr-split#-e_1_2_1_2_1_2.1","unstructured":"Bae K Escobar S Meseguer J (2013) Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. In: Raamsdonk F"},{"key":"#cr-split#-e_1_2_1_2_1_2.2","unstructured":"(ed) 24th International Conference on Rewriting Techniques and Applications RTA 2013 vol 21 of Leibniz International Proceedings in Informatics Dagstuhl Germany pp 81-96. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00206-6"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Bidoit M Mosses PD (2004) Casl user manual volume 2900 of Lecture Notes in Computer Science. Springer","DOI":"10.1007\/b11968"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Bogdanas D Rosu G (2015) K-java: a complete semantics of java. In: Rajamani SK Walker D (eds) Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2015. ACM pp 445\u2013456","DOI":"10.1145\/2676726.2676982"},{"key":"e_1_2_1_2_5_2","unstructured":"Clavel M Dur\u00e1n F Eker S Lincoln P Mart\u00ed-Oliet N Meseguer J Talcott C (2007) All about Maude: a high-performance logical framework volume 4350 of Lecture Notes in Computer Science. Springer"},{"key":"e_1_2_1_2_6_2","unstructured":"Clavel M Dur\u00e1n F Eker S Lincoln P Mart\u00ed-Oliet N Meseguer J Talcott C (2011) Maude manual (version 2.6). http:\/\/maude.cs.uiuc.edu\/maude2-manual"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Codescu M Horozal F Kohlhase M Mossakowski T Rabe F Sojakova K (2012) Towards logical frameworks in the heterogeneous tool set hets. In: Mossakowski T Kreowski HJ (eds) Proceedings of the 20th International Workshop on Recent Trends in Algebraic Development Techniques WADT 2010 Revised Selected Papers volume 7137 of Lecture Notes in Computer Science. Springer pp 139\u2013159","DOI":"10.1007\/978-3-642-28412-0_10"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.009"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","unstructured":"Codescu M Mossakowski T Riesco A Maeder C (2011) Integrating Maude into Hets. In: Johnson M Pavlovic D (eds) Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology AMAST 2010 volume 6486 of Lecture Notes in Computer Science. Springer pp 60\u201375","DOI":"10.1007\/978-3-642-17796-5_4"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","unstructured":"\u015eerbanu\u0163\u0103 T-F Ro\u015fu G (2010) K-Maude: a rewriting based tool for semantics of programming languages. In: Proceedings of the 8th International Workshop on Rewriting Logic and its Applications WRLA 2010 volume 6381 of Lecture Notes in Computer Science. Springer pp 104\u2013122","DOI":"10.1007\/978-3-642-16310-4_8"},{"key":"e_1_2_1_2_11_2","first-page":"74","article-title":"Behavioural coherence in object-oriented algebraic specification","volume":"6","author":"Diaconescu R","year":"2000","journal-title":"J Univ Comput Sci"},{"key":"#cr-split#-e_1_2_1_2_12_2.1","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n F \u00d6lveczky PC (2009) A guide to extending Full Maude illustrated with the implementation of Real-Time Maude. In: Ro\u015fu G","DOI":"10.1016\/j.entcs.2009.05.014"},{"key":"#cr-split#-e_1_2_1_2_12_2.2","unstructured":"(ed) Proceedings of the 7th International Workshop on Rewriting Logic and its Applications WRLA 2008 Electronic Notes in Theoretical Computer Science vol 238(3). Elsevier pp 83-102"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n F Rocha C \u00c1lvarez JM (2011) Towards a Maude formal environment. In: Agha G Meseguer J Danvy O (eds) Formal modeling: actors open systems biological systems volume 7000 of Lecture Notes in Computer Science. Springer pp 329\u2013351","DOI":"10.1007\/978-3-642-24933-4_17"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Dolev D Yao AC (1983) On the security of public key protocols. IEEE TIT. IT-29:198\u2013208","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Eker S Mart\u00ed-Oliet N Meseguer J Verdejo A (2007) Deduction strategies and rewriting. In: Archer M Boy de la Tour T Munoz CA (eds) Proceedings of the 6th International Workshop on Strategies in Automated Deduction STRATEGIES 2006. Electronic Notes in Theoretical Computer Science vol 174(11). Elsevier pp 3\u201325","DOI":"10.1016\/j.entcs.2006.03.017"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Ellison C Ro\u015fu G (2012) An executable formal semantics of C with applications. In: Proceedings of the 39th Symposium on Principles of Programming Languages POPL 2012. ACM pp 533\u2013544","DOI":"10.1145\/2103621.2103719"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Futatsugi K Diaconescu R (1998) CafeOBJ Report. World Scientific AMAST Series","DOI":"10.1142\/3831"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.07.041"},{"key":"e_1_2_1_2_19_2","unstructured":"Futatsugi K. 12th lecture of the course i613 algebraic formal methods. http:\/\/www.jaist.ac.jp\/~kokichi\/class\/i613-1312"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Futatsugi K (2015) Generate and check method for verifying transition systems in cafeobj. In: De Nicola R Hennicker R (eds) Software Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering volume 8950 of Lecture Notes in Computer Science. Springer pp 171\u2013192","DOI":"10.1007\/978-3-319-15545-6_13"},{"issue":"16","key":"e_1_2_1_2_21_2","first-page":"90","article-title":"Constructor-based logics","volume":"18","author":"G\u0103in\u0103 D","year":"2012","journal-title":"J Univ Comput Sci"},{"key":"e_1_2_1_2_22_2","unstructured":"CoFI Tools Task Group. CoFI the common framework initiative for algebraic specification and development. http:\/\/www.cofi.info"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Goguen J Winkler T Meseguer J Futatsugi K Jouannaud J-P (2000) Introducing OBJ. In: Software engineering with OBJ: algebraic specification in action. Kluwer","DOI":"10.1007\/978-1-4757-6541-0"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"crossref","unstructured":"G\u00e2in\u00e2 D Zhang M Chiba Y Arimoto Y (2013) Constructor-based inductive theorem prover. In: Heckel R Milius S (eds) Proceedings of the 5th International Conference in Algebra and Coalgebra in Computer Science CALCO 2013 volume 8089 of Lecture Notes in Computer Science. Springer pp 328\u2013333. http:\/\/www.jaist.ac.jp\/~danielmg\/citp.html","DOI":"10.1007\/978-3-642-40206-7_26"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/138027.138060"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"crossref","unstructured":"Kirchner H (2013) A rewriting point of view on strategies. In: Mogavero F Murano A Vardi MY (eds) Proceedings 1st International Workshop on Strategic Reasoning SR 2013 Rome Italy March 16\u201317 volume 112 of EPTCS pp 99\u2013105","DOI":"10.4204\/EPTCS.112.0"},{"key":"e_1_2_1_2_27_2","doi-asserted-by":"crossref","unstructured":"Kirchner H (2015) Rewriting strategies and strategic rewrite programs. In: Mart\u00ed-Oliet N \u00d6lveczky PC Talcott C (eds) Logic Rewriting and Concurrency - Essays dedicated to Jos\u00e9 Meseguer on the Occasion of His 65th Birthday volume 9200 of Lecture Notes in Computer Science. Springer pp 380\u2013403","DOI":"10.1007\/978-3-319-23165-5_18"},{"key":"e_1_2_1_2_28_2","unstructured":"Kreowski H-J Bernd K-B (eds) (1999) Algebraic Foundations of Systems Specification 1st edn. Springer Secaucus NJ USA"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Kirchner C Kirchner H Nahon F (2013) Narrowing based inductive proof search. In: Voronkov A Weidenbach C (eds) Programming logics\u2014essays in memory of Harald Ganzinger volume 7797 of Lecture Notes in Computer Science. Springer pp 216\u2013238","DOI":"10.1007\/978-3-642-37651-1_9"},{"key":"e_1_2_1_2_30_2","unstructured":"Kohlhase M Mossakowski T (2012) Final project report\u2014latin: Logic atlas and integrator. https:\/\/svn.omdoc.org\/repos\/latin\/public\/latin_report.pdf"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"crossref","unstructured":"Lucanu D Goriac E-I Caltais G Rosu G (2009) CIRC: A behavioral verification tool based on circular coinduction. In: Kurz A Lenisa M Tarlecki A (eds) Proceedings of the 3rd International Conference on Algebra and Coalgebra in Computer Science CALCO 2009 volume 5728 of Lecture Notes in Computer Science. Springer pp 433\u2013442","DOI":"10.1007\/978-3-642-03741-2_30"},{"key":"e_1_2_1_2_32_2","doi-asserted-by":"crossref","unstructured":"Lucanu D Rosu G (2007) CIRC: a circular coinductive prover. In: Mossakowski T Montanari U Haveraaen M (eds) Proceedings of the 2nd International Conference on Algebra and Coalgebra in Computer Science CALCO 2007 volume 4624 of Lecture Notes in Computer Science pages. Springer pp 372\u2013378","DOI":"10.1007\/978-3-540-73859-6_25"},{"key":"e_1_2_1_2_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"e_1_2_1_2_34_2","unstructured":"Mossakowski T Maeder C Codescu M (2014) Hets user guide\u2014version 0.99. Technical report DFKI GmbH Formal Methods for Software Development"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"crossref","unstructured":"Mossakowski T Maeder C L\u00fcttich K (2007) The Heterogeneous Tool Set. In: Grumberg O Huth M (eds) Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2007 volume 4424 of Lecture Notes in Computer Science. Springer-Verlag Heidelberg pp 519\u2013522","DOI":"10.1007\/978-3-540-71209-1_40"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"crossref","unstructured":"Mosses P (2004) (ed) Casl reference manual volume 2960 of Lecture Notes in Computer Science. Springer","DOI":"10.1007\/b96103"},{"key":"e_1_2_1_2_37_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.018"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"crossref","unstructured":"Nakamura M Kong W Ogata K Futatsugi K (2008) A specification translation from behavioral specifications to rewrite specifications. IEICE Trans 91-D(5):1492\u20131503","DOI":"10.1093\/ietisy\/e91-d.5.1492"},{"key":"e_1_2_1_2_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"e_1_2_1_2_40_2","unstructured":"Nakagawa AT Sawada T Futatsugi K (2010) CafeOBJ user\u2019s manual (version 1.4.8). http:\/\/www.comp.dit.ie\/pbrowne\/compfund2\/manual.pdf"},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"crossref","unstructured":"Ogata K Futatsugi K (2003) Proof scores in the OTS\/CafeOBJ method. In: Najm E Nestmann U Stevens P (eds) Proceedings of the 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems FMOODS 2003 volume 2884 of Lecture Notes in Computer Science. pp 170\u2013184","DOI":"10.1007\/978-3-540-39958-2_12"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"crossref","unstructured":"Ogata K Futatsugi K (2014) Theorem proving based on proof scores for rewrite theory specifications of OTSs. In: Iida S Meseguer J Ogata K (eds) Specification algebra and software: essays Dedicated to Kokichi Futatsugi volume 8373 of Lecture Notes in Computer Science pp 630\u2013656","DOI":"10.1007\/978-3-642-54624-2_31"},{"key":"e_1_2_1_2_43_2","doi-asserted-by":"crossref","unstructured":"\u00d6lveczky PC Meseguer J (2007) Semantics and pragmatics of Real-Time Maude. Higher-Order Symb Comput 20: 161\u2013196","DOI":"10.1007\/s10990-007-9001-5"},{"key":"e_1_2_1_2_44_2","doi-asserted-by":"crossref","unstructured":"Ouranos I Ogata K Stefaneas PS (2012) Formal analysis of TESLA protocol in the Timed OTS\/CafeOBJ method. In: Margaria T Steffen B (eds) ISoLA (2) volume 7610 of Lecture Notes in Computer Science. Springer pp 126\u2013142","DOI":"10.1007\/978-3-642-34032-1_15"},{"key":"e_1_2_1_2_45_2","doi-asserted-by":"crossref","unstructured":"Pfenning F (1994) Elf: a meta-language for deductive systems (system descrition). In: Bundy A (ed) Proceedings of the 12th International Conference on Automated Deduction CADE-12 volume 814 of Lecture Notes in Computer Science. Springer pp 811\u2013815","DOI":"10.1007\/3-540-58156-1_66"},{"key":"#cr-split#-e_1_2_1_2_46_2.1","doi-asserted-by":"crossref","unstructured":"Pfenning F (1996) The practice of logical frameworks. In: Kirchner H","DOI":"10.1007\/3-540-61064-2_33"},{"key":"#cr-split#-e_1_2_1_2_46_2.2","unstructured":"(ed) Proceedings Of The 21St International Colloquium On Trees In Algebra And Programming CAAP 1996 volume 1059 of Lecture Notes in Computer Science. Springer pp 119-134"},{"key":"e_1_2_1_2_47_2","doi-asserted-by":"crossref","unstructured":"Pfenning F (2002) Proof and system-reliability chapter logical frameworks\u2014a brief introduction. Springer pp 137\u2013166","DOI":"10.1007\/978-94-010-0413-8_5"},{"key":"#cr-split#-e_1_2_1_2_48_2.1","doi-asserted-by":"crossref","unstructured":"Riesco A (2014) An integration of CafeOBJ into full Maude. In: Escobar S","DOI":"10.1007\/978-3-319-12904-4_13"},{"key":"#cr-split#-e_1_2_1_2_48_2.2","unstructured":"(ed) Proceedings of the 10th International Workshop on Rewriting Logic and Its Applications WRLA 2014 Revised Selected Papers volume 8663 of Lecture Notes in Computer Science. Springer pp 230-246"},{"key":"e_1_2_1_2_49_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.09.001"},{"key":"#cr-split#-e_1_2_1_2_50_2.1","doi-asserted-by":"crossref","unstructured":"Rocha C Meseguer J Mu\u00f1oz CA (2014) Rewriting modulo SMT and open system analysis. In: Escobar S","DOI":"10.1007\/978-3-319-12904-4_14"},{"key":"#cr-split#-e_1_2_1_2_50_2.2","unstructured":"(ed) Proceedings of the 10th International Workshop on Rewriting Logic and Its Applications WRLA 2014 volume 8663 of Lecture Notes in Computer Science. Springer pp 247-262"},{"key":"e_1_2_1_2_51_2","doi-asserted-by":"crossref","unstructured":"Riesco A Ogata K Futatsugi K (2016) CafeInMaude: a CafeOBJ interpreter in maude. In: Stevens P Wasowski A (eds) Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering FASE 2016 volume 9633 of Lecture Notes in Computer Science. Springer. Springer pp 377\u2013380","DOI":"10.1007\/978-3-662-49665-7_22"},{"key":"e_1_2_1_2_52_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2011.06.004"},{"key":"e_1_2_1_2_53_2","unstructured":"Sawada T Futatsugi K Preining N (2015) CafeOBJ reference manual (version 1.5.3)"},{"key":"e_1_2_1_2_54_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2005.09.008"},{"key":"#cr-split#-e_1_2_1_2_55_2.1","doi-asserted-by":"crossref","unstructured":"Zhang M Ogata K (2009) Modular implementation of a translator from behavioral specifications to rewrite theory specifications. In: Choi B","DOI":"10.1109\/QSIC.2009.60"},{"key":"#cr-split#-e_1_2_1_2_55_2.2","unstructured":"(ed) Proceedings of the 9th International Conference on Quality Software QSIC 2009. IEEE Computer Society pp 406-411"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-016-0398-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-016-0398-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-016-0398-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-016-0398-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T06:56:00Z","timestamp":1641538560000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-016-0398-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":61,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["10.1007\/s00165-016-0398-7"],"URL":"https:\/\/doi.org\/10.1007\/s00165-016-0398-7","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3]]},"assertion":[{"value":"20 October 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 September 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 October 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}