{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T08:56:38Z","timestamp":1768553798875,"version":"3.49.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autonomous Agents and Multi-Agent Systems"],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1023\/a:1021836202093","type":"journal-article","created":{"date-parts":[[2003,3,21]],"date-time":"2003-03-21T23:56:02Z","timestamp":1048290962000},"page":"185-219","source":"Crossref","is-referenced-by-count":13,"title":["A Verification Framework for Agent Communication"],"prefix":"10.1007","volume":"6","author":[{"given":"Rogier M.","family":"Van Eijk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank S.","family":"De Boer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"Van Der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"5113126_CR1","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/579.584","volume":"6","author":"K. Apt","year":"1984","unstructured":"K. Apt and N. Francez, \u201cModeling the distributed termination convention of CSP, \u201d ACM Transactions on Programming Languages and Systems, vol. 6, no.3, pp. 370\u2013379, 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"5113126_CR2","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K. Apt","year":"1980","unstructured":"K. Apt, N. Francez, and W. d. Roever, \u201cA proof system for communicating sequential processes, \u201d ACM Transactions on Programming Languages and Systems, vol. 2, no.3, pp. 359\u2013385, 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5113126_CR3","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"J. Bergstra and J. Klop, \u201cProcess algebra for synchronous communication, \u201d Information and Control, vol. 60, pp. 109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"5113126_CR4","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1137\/0217073","volume":"17","author":"J. Bergstra","year":"1988","unstructured":"J. Bergstra, J. Klop, and E.-R. Olderog, \u201cReadies and failures in the algebra of communicating processes, \u201d SIAM Journal on Computing, vol. 17, pp. 1134\u20131177, 1988.","journal-title":"SIAM Journal on Computing"},{"issue":"1","key":"5113126_CR5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1075\/pc.9.1.03beu","volume":"9","author":"R. Beun","year":"2001","unstructured":"R. Beun, \u201cOn the generation of coherent dialogue: A computational approach, \u201d Pragmatics and Cognition, vol. 9, no.1, pp. 37\u201368, 2001.","journal-title":"Pragmatics and Cognition"},{"key":"5113126_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/3-540-44618-4_17","volume-title":"Proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000)","author":"F. d. Boer","year":"2000","unstructured":"F. d. Boer, R. v. Eijk, W. v. d. Hoek, and J.-J. Meyer, \u201cFailure semantics for the exchange of information in multi-agent systems, \u201d in C. Palamidessi (ed.), Proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000), vol. 1877 of Lecture Notes in Computer Science, Springer-Verlag: Heidelberg, 2000, pp. 214\u2013228."},{"issue":"5","key":"5113126_CR7","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1145\/265943.265954","volume":"19","author":"F. d. Boer","year":"1997","unstructured":"F. d. Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi, \u201cProving concurrent constraint programs correct, \u201d ACM Transactions on Programming Languages and Systems, vol. 19, no.5, pp. 685\u2013725, 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5113126_CR8","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0304-3975(95)00047-Z","volume":"151","author":"F. d. Boer","year":"1995","unstructured":"F. d. Boer, A. D. Pierro, and C. Palamidessi, \u201cInfinite computations in nondeterministic constraint programming, \u201d Theoretical Computer Science, vol. 151, pp. 37\u201378, 1995.","journal-title":"Theoretical Computer Science"},{"key":"5113126_CR9","doi-asserted-by":"crossref","unstructured":"F. Brazier, B. Dunin-Keplicz, N. Jennings, and J. Treur, \u201cFormal specification of multi-agent systems: a real-world case, \u201d in Proceedings of International Conference on Multi-Agent Systems (ICMAS'95), MIT Press, 1995, pp. 25\u201332.","DOI":"10.1007\/3-540-58855-8_6"},{"key":"5113126_CR10","doi-asserted-by":"crossref","unstructured":"P. Bretier and D. Sadek, \u201cA rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction, \u201d in J. M\u00fcller, M. Wooldridge, and N. Jennings (eds.), Intelligent Agents III\u00b7Agent Theories, Architectures, and Languages (ATAL'96), vol. 1193 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1997, pp. 189\u2013203.","DOI":"10.1007\/BFb0013586"},{"key":"5113126_CR11","unstructured":"P. Cohen and H. Levesque, \u201cCommunicative actions for artificial agents, \u201d in Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95), MIT Press, 1995, pp. 65\u201372"},{"key":"5113126_CR12","volume-title":"A Discipline of Programming","author":"E. Dijkstra","year":"1976","unstructured":"E. Dijkstra, A Discipline of Programming, Prentice-Hall: Englewood Cliffs, NJ, 1976."},{"key":"5113126_CR13","first-page":"293","volume-title":"Proceedings of the 13th Biennial European Conference on Artificial Intelligence (ECAI'98)","author":"R. v. Eijk","year":"1998","unstructured":"R. v. Eijk, F. d. Boer, W. v. d. Hoek, and J.-J. Meyer, \u201cSystems of communicating agents, \u201d in H. Prade (ed.), Proceedings of the 13th Biennial European Conference on Artificial Intelligence (ECAI'98), John Wiley & Sons, Ltd: Chichester, UK, 1998, pp. 293\u2013297."},{"key":"5113126_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3-540-49057-4_3","volume-title":"Intelligent Agents V, Proceedings of 5th International Workshop on Agent Theories, Architectures, and Languages (ATAL'98)","author":"R. v. Eijk","year":"1999","unstructured":"R. v. Eijk, F. d. Boer, W. v. d. Hoek, and J.-J. Meyer, \u201cInformation-passing and belief revision in multi-agent systems, \u201d in J. P. M. M\u00fcller, M. P. Singh, and A. S. Rao (eds.), Intelligent Agents V, Proceedings of 5th International Workshop on Agent Theories, Architectures, and Languages (ATAL'98), vol. 1555 of Lecture Notes in Artificial Intelligence, Springer-Verlag: Heidelberg, 1999, pp. 29\u201345."},{"key":"5113126_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/10719619_16","volume-title":"Intelligent Agents VI, Proceedings of 6th International Workshop on Agent Theories, Architectures, and Languages (ATAL'99)","author":"R. v. Eijk","year":"2000","unstructured":"R. v. Eijk, F. d. Boer, W. v. d. Hoek, and J.-J. Meyer, \u201cOpen multi-agent systems: agent communication and integration, \u201d in N. Jennings and Y. Lesp\u00e8rance (eds.), Intelligent Agents VI, Proceedings of 6th International Workshop on Agent Theories, Architectures, and Languages (ATAL'99), vol. 1757 of Lecture Notes in Artificial Intelligence, Springer-Verlag: Heidelberg, 2000, pp. 218\u2013232."},{"issue":"5","key":"5113126_CR16","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1002\/int.1025","volume":"16","author":"R. v. Eijk","year":"2001","unstructured":"R. v. Eijk, F. d. Boer, W. v. d. Hoek, and J.-J. Meyer, \u201cOn dynamically generated ontology translators in agent communication, \u201d International Journal of Intelligent Systems, vol. 16, no.5, pp. 587\u2013607, 2001.","journal-title":"International Journal of Intelligent Systems"},{"key":"5113126_CR17","unstructured":"T. Finin, D. McKay, R. Fritzson, and R. McEntire, \u201cKQML: An information and knowledge exchange protocol, \u201d in K. Fuchi and T. Yokoi (eds.), Knowledge Building and Knowledge Sharing, Ohmsha and IOS Press, 1994."},{"key":"5113126_CR18","doi-asserted-by":"crossref","unstructured":"R. W. Floyd, \u201cAssigning meaning to programs, \u201d in J. T. Schwartz (ed.), American Mathematics Society Symposia in Applied Mathematics, 1967, vol. 19, pp. 19\u201331.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"5113126_CR19","volume-title":"Logic, Language and Meaning Volume I","author":"L. Gamut","year":"1991","unstructured":"L. Gamut, Logic, Language and Meaning Volume I. Chicago: University of Chicago Press: Chicago, 1991."},{"key":"5113126_CR20","volume-title":"Knowledge in flux: Modelling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors, Knowledge in flux: Modelling the Dynamics of Epistemic States, Cambridge: Bradford Books, MIT: Cambridge, MA, 1988."},{"key":"5113126_CR21","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1109\/ICMAS.2000.858492","volume-title":"Proceedings of Fourth International Conference on Multi-Agent Systems (ICMAS-2000)","author":"F. Guerin","year":"2000","unstructured":"F. Guerin and J. Pitt, \u201cA semantic framework for specifying agent communication languages, \u201d in Proceedings of Fourth International Conference on Multi-Agent Systems (ICMAS-2000), IEEE Computer Society: Los Alamitos, CA, 2000, pp. 395\u2013396."},{"key":"5113126_CR22","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(92)90028-V","volume":"56","author":"N. Gupta","year":"1994","unstructured":"N. Gupta and D. Nau, \u201cOn the complexity of blocks-world planning, \u201d Artificial Intelligence, vol. 56, pp. 223\u2013254, 1994.","journal-title":"Artificial Intelligence"},{"key":"5113126_CR23","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K. Hindriks","year":"1999","unstructured":"K. Hindriks, F. d. Boer, W. v. d. Hoek, and J.-J. Meyer, \u201cAgent programming in 3APL, \u201d Autonomous Agents and Multi-Agent Systems, vol. 2, pp. 357\u2013401, 1999.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"10","key":"5113126_CR24","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. Hoare","year":"1969","unstructured":"C. Hoare, \u201cAn axiomaticbasis for computer programming, \u201d Communications of the ACM, vol. 12, no.10, pp. 576\u2013580, 1969.","journal-title":"Communications of the ACM"},{"issue":"8","key":"5113126_CR25","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. Hoare","year":"1978","unstructured":"C. Hoare, \u201cCommunicating sequential processes, \u201d Communications of the ACM, vol. 21, no.8, pp. 666\u2013677, 1978.","journal-title":"Communications of the ACM"},{"key":"5113126_CR26","unstructured":"H. Jifeng, M. Josephs, and C. Hoare, \u201cA theory of synchrony and asynchrony, \u201d in Proc. of the IFIP Working Conference on Programming Concepts and Methods, 1990, pp. 446\u2013465."},{"issue":"1\u20132","key":"5113126_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(98)00078-2","volume":"104","author":"S. Kraus","year":"1998","unstructured":"S. Kraus, K. Sycara, and A. Evenchik, \u201cReaching agreements through argumentation: A logical model and implementation, \u201d Artificial Intelligence, vol. 104, no.1\u20132, pp. 1\u201369, 1998.","journal-title":"Artificial Intelligence"},{"key":"5113126_CR28","doi-asserted-by":"crossref","unstructured":"Y. Labrou and T. Finin, \u201cSemantics for an agent communication language, \u201d in M. Singh, A. Rao, and M. Wooldridge (eds.), Proceedings of Fourth International Workshop on Agent Theories, Architectures and Languages (ATAL'97), vol. 1365 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1998, pp. 209\u2013214.","DOI":"10.1007\/BFb0026760"},{"issue":"2","key":"5113126_CR29","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/5254.757631","volume":"14","author":"Y. Labrou","year":"1999","unstructured":"Y. Labrou, T. Finin, and Y. Peng, \u201cAgent communication languages: The current landscape, \u201d IEEE Intelligent Systems, vol. 14, no.2, pp. 45\u201352, 1999.","journal-title":"IEEE Intelligent Systems"},{"key":"5113126_CR30","doi-asserted-by":"crossref","unstructured":"B. v. Linder, W. v. d. Hoek, and J.-J. Meyer, \u201cCommunicating rational agents, \u201d in KI-94: Advances in AI, vol. 861 of Lecture Notes in Computer Science, Springer-Verlag, 1994, pp. 202\u2013213.","DOI":"10.1007\/3-540-58467-6_18"},{"key":"5113126_CR31","series-title":"Wiley-Teubner Series in Computer Science","volume-title":"The Foundations of Program Verification","author":"J. Loeckx","year":"1984","unstructured":"J. Loeckx and K. Sieber, The Foundations of Program Verification, Wiley-Teubner Series in Computer Science, John Wiley and Sons and B.G. Teubner: Stuttgart, 1984."},{"issue":"3","key":"5113126_CR32","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/295685.295716","volume":"42","author":"P. Maes","year":"1999","unstructured":"P. Maes, R. Guttman, and A. Moukas, \u201cAgent that buy and sell, \u201d Communications of the ACM, vol. 42, no.3, pp. 81\u201391, 1999.","journal-title":"Communications of the ACM"},{"key":"5113126_CR33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-85983-0","volume-title":"Constraint Programming","author":"B. Mayoh","year":"1994","unstructured":"B. Mayoh, Constraint Programming, Springer-Verlag: Berlin, 1994."},{"issue":"4","key":"5113126_CR34","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"J. Misra and K. Chandy, \u201cProofs of networks of processes, \u201d IEEE Transactions on Software Engineering, vol. 7, no.4, pp. 417\u2013426, 1981.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"5113126_CR35","first-page":"310","volume":"6","author":"P. Naur","year":"1966","unstructured":"P. Naur, \u201cProof of algorithms by general snapshots, \u201d Nordisk tidskrift for informationsbehandling, vol. 6, no.4, pp. 310\u2013316, 1966.","journal-title":"Nordisk tidskrift for informationsbehandling"},{"key":"5113126_CR36","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries, \u201cAn axiomatic proof technique for parallel programs, \u201d Acta Informatica, vol. 6, pp. 319\u2013340, 1976.","journal-title":"Acta Informatica"},{"issue":"4","key":"5113126_CR37","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1023\/A:1010016503852","volume":"2","author":"J. Pitt","year":"1999","unstructured":"J. Pitt and A. Mamdani, \u201cSome remarks on the semantics of FIPA's agent communication language, \u201d Autonomous Agents and Multi-Agent Systems, vol. 2, no.4, pp. 333\u2013356, 1999.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"5113126_CR38","unstructured":"G. Plotkin, \u201cA structured approach to operational semantics, \u201d Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"5113126_CR39","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the 7th European Workshop on Logics in Artificial Inteligence (JELIA 2000)","author":"H. Prakken","year":"2000","unstructured":"H. Prakken, \u201cOn dialogue systems with speech acts, arguments, and counterarguments, \u201d in M. Ojeda-Aciego, I. d. Guzman, G. Brewka, and L. Pereira (eds.), Proceedings of the 7th European Workshop on Logics in Artificial Inteligence (JELIA 2000), vol. 1919 of Lecture Notes in Artificial Intelligence, Springer-Verlag: Heidelberg, 2000."},{"key":"5113126_CR40","doi-asserted-by":"crossref","unstructured":"A. Rao, \u201cAgentSpeak(L): BDI agents speak out in a logical computable language, \u201d in W. v. d. Velde and J. Perram (eds.), Agents Breaking Away, vol. 1038 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1996, pp. 42\u201355.","DOI":"10.1007\/BFb0031845"},{"key":"5113126_CR41","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"V. Saraswat","year":"1993","unstructured":"V. Saraswat, Concurrent Constraint Programming, The MIT Press: Cambridge, MA, 1993."},{"key":"5113126_CR42","doi-asserted-by":"crossref","unstructured":"V. Saraswat, M. Rinard, and P. Panangaden, \u201cSemantic foundations of concurrent constraint programming, \u201d in Proceedings of the 18th ACM Symposium on Principles of Programming Languages (POPL'91), 1991, pp. 333\u2013352.","DOI":"10.1145\/99583.99627"},{"key":"5113126_CR43","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham, \u201cAgent-oriented programming, \u201d Artificial Intelligence, vol. 60, pp. 51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"5113126_CR44","doi-asserted-by":"crossref","unstructured":"C. Sierra, N. Jennings, P. Noriega, and S. Parsons, \u201cA framework for argumentation-based negotiation, \u201d in M. Singh, A. Rao, and M. Wooldridge (eds.), Intelligent Agents IV\u00b7Agent Theories, Architectures, and Languages (ATAL'97), vol. 1365 of Lecture Notes in Articial Intelligence, Springer-Verlag, 1998, pp. 177\u2013192.","DOI":"10.1007\/BFb0026758"},{"issue":"12","key":"5113126_CR45","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M. Singh","year":"1998","unstructured":"M. Singh, \u201cAgent communication languages: Rethinking the principles, \u201d IEEE Computer, vol. 31, no.12, pp. 40\u201347, 1998.","journal-title":"IEEE Computer"},{"key":"5113126_CR46","volume-title":"PLACA, an agent oriented programming language","author":"S. Thomas","year":"1993","unstructured":"S. Thomas, \u201cPLACA, an agent oriented programming language, \u201d Ph.D. thesis, Computer Science Department, Stanford University, Stanford, CA, 1993."},{"key":"5113126_CR47","first-page":"67","volume-title":"Report on a Conference on High-Speed Automatic Calculating Machines","author":"A. Turing","year":"1949","unstructured":"A. Turing, \u201cChecking a large routine, \u201d in Report on a Conference on High-Speed Automatic Calculating Machines, University Mathematical Laboratory: Cambridge, 1949, pp. 67\u201369."},{"issue":"1","key":"5113126_CR48","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"M. Wooldridge, \u201cSemantic issues in the verification of agent communication, \u201d Autonomous Agents and Multi-Agent Systems, vol. 3, no.1, pp. 9\u201331, 2000.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"5113126_CR49","unstructured":"J. Zwiers, Compositionality, Concurrency and Partial Correctness, vol. 321 of Lecture Notes in Computer Science, Springer-Verlag, 1989."},{"key":"5113126_CR50","doi-asserted-by":"crossref","unstructured":"J. Zwiers, A. d. Bruin, and W.-P. d. Roever, \u201cA proof system for partial correctness of Dynamic Networks of Processes, \u201d in Proceedings of the Conference on Logics of Programs, vol. 164 of Lecture Notes in Computer Science, Springer-Verlag, 1983, pp. 513\u2013527.","DOI":"10.1007\/3-540-12896-4_384"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021836202093.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021836202093\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021836202093.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:08:22Z","timestamp":1747462102000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021836202093"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["5113126"],"URL":"https:\/\/doi.org\/10.1023\/a:1021836202093","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}