{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:01:26Z","timestamp":1725559286173},"publisher-location":"Berlin, Heidelberg","reference-count":65,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278283"},{"type":"electronic","value":"9783540316756"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11526988_4","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T20:27:30Z","timestamp":1279139250000},"page":"134-172","source":"Crossref","is-referenced-by-count":5,"title":["Evolution and Reactivity for the Web"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"May","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Alferes, J.J., Bailey, J., Berndtsson, M., Bry, F., Dietrich, J., Kozlenkov, A., May, W., P\u0103tr\u00e2njan, P.L., Pinto, A., Schroeder, M., Wagner, G.: State-of-the-art on evolution and reactivity. Technical Report IST506779\/Lisbon\/I5-D1\/D\/PU\/a1, REWERSE (September 2004)"},{"key":"4_CR2","unstructured":"Alferes, J.J., Berndtsson, M., Bry, F., Eckert, M., Henze, N., May, W., P\u0103tr\u00e2njan, P.L., Schroeder, M.: Use-cases on evolution. Technical Report IST506779\/Lisbon\/I5- D2\/D\/PU\/a1, REWERSE (September 2004)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bailey, J., Poulovassilis, A., Wood, P.T.: An event-condition action language for XML. In: WWW Conference (2002)","DOI":"10.1145\/511446.511509"},{"issue":"1\u20133","key":"4_CR4","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming\u00a031(1\u20133), 201\u2013243 (1997)","journal-title":"Journal of Logic Programming"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ben-Ari, M., Manna, Z., Pnueli, A.: The temporal logic of branching time. In: 8th Annual ACM Symp. on Principles of Programming Languages (1981)","DOI":"10.1145\/567532.567551"},{"issue":"37","key":"4_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"1","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science\u00a01(37), 77\u2013121 (1985)","journal-title":"Theoretical Computer Science"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bonifati, A., Braga, D., Campi, A., Ceri, S.: Active XQuery. In: Intl. Conference on Data Engineering (ICDE), San Jose, California, pp. 403\u2013418 (2002)","DOI":"10.1109\/ICDE.2002.994754"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","volume":"133","author":"A.J. Bonner","year":"1994","unstructured":"Bonner, A.J., Kifer, M.: An overview of transaction logic. Theoretical Computer Science\u00a0133(2), 205\u2013265 (1994)","journal-title":"Theoretical Computer Science"},{"key":"4_CR9","unstructured":"Bonner, A.J., Kifer, M.: Concurrency and communication in transaction logic. In: ICDT 1995: Advances in Logic-Based Languages (1995)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/3-540-45619-8_18","volume-title":"Intl. Conf. on Logic Programming (ICLP)","author":"F. Bry","year":"2002","unstructured":"Bry, F., Schaffert, S.: Towards a declarative query and transformation language for XML and semistructured data: Simulation unification. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 255\u2013270. Springer, Heidelberg (2002)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Bry, F., P\u0103tr\u00e2njan, P.L., Schaffert, S.: Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web. In: Proc. of Workshop on Semantic Web Services and Dynamic Networks, Ulm, Germany, September 22-24, GI (2004)","DOI":"10.1007\/978-3-540-27775-0_33"},{"key":"4_CR12","unstructured":"Bry, F., Schaffert, S.: Querying theWeb Reconsidered: A Practical Introduction to Xcerpt. In: Proc. of Extreme Markup Languages 2004, Montreal, Quebec, Canada, August 2-6 (2004)"},{"key":"4_CR13","unstructured":"Chakravarthy, S., Krishnaprasad, V., Anwar, E., Kim, S.-K.: Composite events for active databases: Semantics, contexts and detection. In: Proceedings of the 20th VLDB, pp. 606\u2013617 (1994)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Chen, J., deWitt, D.J., Tian, F., Wang, Y.: NiagaraCQ: A scalable continuous query system for internet databases. In: ACM Intl. Conference on Management of Data (SIGMOD), pp. 379\u2013390 (2000)","DOI":"10.1145\/342009.335432"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/210197.210200","volume":"20","author":"J. Chomicki","year":"1995","unstructured":"Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. ACM Transactions on Database Systems (TODS)\u00a020(2), 149\u2013186 (1995)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of the IBM Workshop on Logics of Programs","author":"E.M. Clarke","year":"1981","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Logic of Programs 1981. LNCS, vol.\u00a0131. Springer, Heidelberg (1981)"},{"key":"4_CR17","unstructured":"Document object model, DOM (1998), http:\/\/www.w3.org\/DOM\/"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/976706.976708","volume":"5","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. ACM Transactions on Computational Logic\u00a05(2), 206\u2013263 (2004)","journal-title":"ACM Transactions on Computational Logic"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, W., Pfeifer, G., Polleres, A.: Declarative planning and knowledge representation in an action language. In: Vlahavas, I., Vrakas, D. (eds.) Intelligent Techniques for Planning. Idea Group, Inc., USA (2004)","DOI":"10.4018\/978-1-59140-450-7.ch001"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Lei, C.-L.: Modalities for model checking: Branching time strikes back. In: 12th Annual ACM Symp. on Principles of Programming Languages (1985)","DOI":"10.1145\/318593.318620"},{"key":"4_CR21","unstructured":"eXist: an Open Source Native XML Database, http:\/\/exist-db.org\/"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: ACM Symposium on Principles of Programming Languages, pp. 163\u2013173 (1980)","DOI":"10.1145\/567446.567462"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-51803-7_36","volume-title":"Temporal Logic in Specification","author":"D. Gabbay","year":"1989","unstructured":"Gabbay, D.: The declarative past, and imperative future: Executable temporal logic for interactive systems. In: Banieqbal, B., Barringer, B., Pnueli, A. (eds.) Temporal Logic in Specification. LNCS, vol.\u00a0398, pp. 409\u2013448. Springer, Heidelberg (1989)"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing actions and change by logic programs. Journal of Logic Programming\u00a017, 301\u2013322 (1993)","journal-title":"Journal of Logic Programming"},{"issue":"3-4","key":"4_CR25","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence\u00a02(3-4), 193\u2013210 (1998)","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0004-3702(97)00037-4","volume":"95","author":"E. Giunchiglia","year":"1997","unstructured":"Giunchiglia, E., Kartha, G., Lifschitz, V.: Representing actions: Indeterminacy and ramifications. Artificial Intelligence\u00a095, 409\u2013443 (1997)","journal-title":"Artificial Intelligence"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"E. Giunchiglia","year":"1997","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., Mc Cain, N., Turner, H.: Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming\u00a031, 245\u2013298 (1997)","journal-title":"Journal of Logic Programming"},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153, 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"4_CR29","unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: AAAI 1998, pp. 623\u2013630 (1998)"},{"key":"4_CR30","unstructured":"Gurevich, Y.: Logic and the challenge of computer science. Current Trends in Theoretical Computer Science, pp. 1\u201357. Computer Science Press (1988)"},{"key":"4_CR31","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First-Order Dynamic Logic","author":"D. Harel","year":"1979","unstructured":"Harel, D.: First-Order Dynamic Logic. LNCS, vol.\u00a068. Springer, Heidelberg (1979)"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Harel, D.: Dynamic Logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, Volume II - Extensions of Classical Logic, pp. 497\u2013604. Reidel Publishing Company, Boston (1984)","DOI":"10.1007\/978-94-009-6259-0_10"},{"issue":"2","key":"4_CR34","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/0022-0000(82)90003-4","volume":"25","author":"D. Harel","year":"1982","unstructured":"Harel, D., Kozen, D., Parikh, R.: Process Logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences\u00a025(2), 144\u2013170 (1982)","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR35","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"4_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-60608-4_36","volume-title":"Deductive and Object-Oriented Databases","author":"D.B. Kemp","year":"1995","unstructured":"Kemp, D.B., Ramamohanarao, K., Stuckey, P.J.: ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. In: Ling, T.W., Mendelzon, A.O., Vieille, L. (eds.) DOOD 1995. LNCS, vol.\u00a01013, pp. 91\u2013108. Springer, Heidelberg (1995)"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Lamport, L.: \u2019sometimes\u2019 is sometimes \u2019not never\u2019. In: 7th Annual ACM Symp. on Principles of Programming Languages (1980)","DOI":"10.1145\/567446.567463"},{"key":"4_CR38","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-1-4615-5643-5_12","volume-title":"Logics for Databases and Information Systems, ch. 12","author":"G. Lausen","year":"1998","unstructured":"Lausen, G., Lud\u00e4scher, B., May, W.: On logical foundations of active databases. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, ch. 12, pp. 389\u2013422. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"4_CR39","unstructured":"Lehti, P.: Design and Implementation of a Data Manipulation Processor for an XML Query Language (diploma thesis), Technische Universit\u00e4t Darmstadt (August 2001)"},{"key":"4_CR40","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesprance, Y., Lin, F., Scherl, R.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031, 59\u201383 (1997)","journal-title":"Journal of Logic Programming"},{"key":"4_CR41","unstructured":"Lobo, J., Bhatia, R., Naqvi, S.: A policy description language. In: National Conference on Artificial Intelligence, AAAI (1999)"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-30122-6_2","volume-title":"Principles and Practice of Semantic Web Reasoning (PPSWR)","author":"W. May","year":"2004","unstructured":"May, W., Alferes, J.J., Bry, F.: Towards generic query, update, and event languages for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol.\u00a03208, pp. 19\u201333. Springer, Heidelberg (2004)"},{"key":"4_CR43","volume-title":"Formalizing Common Sense","author":"J. McCarthy","year":"1990","unstructured":"McCarthy, J.: Formalizing Common Sense. Ablex, Norwood (1990)"},{"key":"4_CR44","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a04 (1969)"},{"key":"4_CR45","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science\u00a025, 267\u2013310 (1983)","journal-title":"Theoretical Computer Science"},{"key":"4_CR46","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"4_CR47","series-title":"Formal Models and Semantics, ch.19","first-page":"1201","volume-title":"Handbook of Theoretical Computer Science","author":"R. Milner","year":"1990","unstructured":"Milner, R.: Operational and algebraic semantics of concurrent processes. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, ch.19, vol.\u00a0B, pp. 1201\u20131242. Elsevier, Amsterdam (1990)"},{"issue":"100","key":"4_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"1","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation\u00a01(100), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"4_CR49","unstructured":"Papamarkos, G., Poulovassilis, A., Wood, P.T.: Eventcondition- action rule languages for the semantic web. In: Workshop on Semantic Web and Databases, SWDB 2003 (2003)"},{"key":"4_CR50","first-page":"324","volume-title":"Proc. of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR 1989)","author":"E. Pednault","year":"1989","unstructured":"Pednault, E.: Exploring the middle ground between STRIPS and the Situation Calculus. In: Proc. of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR 1989), pp. 324\u2013332. Morgan Kaufmann Publishers Inc., San Francisco (1989)"},{"key":"4_CR51","unstructured":"Plotkin, G.: A structured approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University (1981)"},{"key":"4_CR52","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Semantical considerations on Floyd-Hoare Logic. In: 17th IEEE Symp. on Foundations of Computer Science, pp. 109\u2013121 (1976)","DOI":"10.1109\/SFCS.1976.27"},{"issue":"2","key":"4_CR53","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R. Reiter","year":"1993","unstructured":"Reiter, R.: Proving properties of states in the situation calculus. Artificial Intelligence\u00a064(2), 337\u2013351 (1993)","journal-title":"Artificial Intelligence"},{"key":"4_CR54","volume-title":"Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems","author":"E. Sandewall","year":"1994","unstructured":"Sandewall, E.: Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford (1994)"},{"key":"4_CR55","volume-title":"Intl. Workshop on Database Programming Languages electronic Workshops in Computing","author":"M.P. Singh","year":"1995","unstructured":"Singh, M.P.: Semantical considerations on workflows: An algebra for intertask dependencies. In: Intl. Workshop on Database Programming Languages electronic Workshops in Computing, Gubbio, Italy. Springer, Heidelberg (1995)"},{"key":"4_CR56","doi-asserted-by":"crossref","unstructured":"Sistla, A.P., OuriWolfson: Temporal Conditions and Integrity Constraints in Active Database Systems. In: Proceedings ACM SIGMOD International Conference on Management of Data (SIGMOD 1995), pp. 269\u2013280 (1995)","DOI":"10.1145\/223784.223844"},{"issue":"1-2","key":"4_CR57","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"T. Son","year":"2001","unstructured":"Son, T., Baral, C.: Formalizing sensing actions - a transition function based approach. Artificial Intelligence\u00a0125(1-2), 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"4_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1007\/BFb0013039","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models of Concurrency","author":"C. Stirling","year":"1989","unstructured":"Stirling, C.: Temporal logics for CCS. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 660\u2013672. Springer, Heidelberg (1989)"},{"key":"4_CR59","doi-asserted-by":"crossref","unstructured":"Tatarinov, I., Ives, Z.G., Halevy, A., Weld, D.: Updating XML. In: ACM Intl. Conference on Management of Data (SIGMOD), pp. 133\u2013154 (2001)","DOI":"10.1145\/375663.375720"},{"key":"4_CR60","doi-asserted-by":"crossref","unstructured":"Tian, F., Reinwald, B., Pirahesh, H., Mayr, T., Myllymaki, J.: Implementing a scalable XML publish\/subscribe system using relational database systems. In: ACM Intl. Conference on Management of Data, SIGMOD (2004)","DOI":"10.1145\/1007568.1007623"},{"key":"4_CR61","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01160018","volume":"3","author":"J. Benthem van","year":"1995","unstructured":"van Benthem, J., Bergstra, J.: Logic of transition systems. Journal of Logic, Language, and Information\u00a03, 247\u2013283 (1995)","journal-title":"Journal of Logic, Language, and Information"},{"key":"4_CR62","unstructured":"World Wide Web Consortium. XML Path Language, XPath (November 1999), http:\/\/www.w3.org\/TR\/xpath"},{"key":"4_CR63","unstructured":"World Wide Web Consortium. XQuery: A Query Language for XML (February 2001), http:\/\/www.w3.org\/TR\/xquery\/"},{"key":"4_CR64","unstructured":"XML:DB Initiative. XUpdate - XML Update Language (September 2000), http:\/\/xmldb-org.sourceforge.net\/"},{"key":"4_CR65","doi-asserted-by":"crossref","unstructured":"Zaniolo, C.: A unified semantics for active and deductive databases. In: Paton, N.W., Williams, M.W. (eds.) Proceedings of the 1st International Workshop on Rules in Database Systems, Workshops in Computing, pp. 271\u2013287. Springer, Heidelberg (1994) ISBN 3-540-19846-6","DOI":"10.1007\/978-1-4471-3225-7_16"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11526988_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:03Z","timestamp":1605643623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11526988_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278283","9783540316756"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/11526988_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}