{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:05Z","timestamp":1747548605961,"version":"3.40.5"},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"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":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1997,12]]},"DOI":"10.1023\/a:1018921603877","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"245-303","source":"Crossref","is-referenced-by-count":2,"title":["Representing and reasoning about concurrent actions with abductive logic programs"],"prefix":"10.1007","volume":"21","author":[{"given":"Renwei","family":"Li","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"325448_CR1","unstructured":"J.J. Alferes, C.V. Dam\u00e1sio and L.M. Pereira, SLX \u2014 A top-down derivation procedure for programs with explicit negation, in: International Logic Programming Symposium, ed. M. Bruynooghe (MIT Press, 1994)."},{"key":"325448_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61488-5","volume-title":"Reasoning with Logic Programming","author":"J.J. Alferes","year":"1996","unstructured":"J.J. Alferes and L.M. Pereira, Reasoning with Logic Programming, LNAI 1111 (Springer, 1996)."},{"key":"325448_CR3","doi-asserted-by":"crossref","unstructured":"J.J. Alferes, L.M. Pereira and T.C. Przymusinski, \u201cClassical\u201d negation in non-monotonic reasoning and logic programming, in: Artificial Intelligence and Mathematics Workshop, eds. H. Kautz and B. Selman (Fort Lauderdale, 1996).","DOI":"10.1007\/3-540-61630-6_10"},{"key":"325448_CR4","unstructured":"K.R. Apt and M. Bezem, Acyclic programs, in: Proc. of ICLP 90 (MIT Press, 1990) pp. 579\u2013597"},{"key":"325448_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A.B. Baker","year":"1991","unstructured":"A.B. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49 (1991) 5\u201323.","journal-title":"Artificial Intelligence"},{"key":"325448_CR6","unstructured":"A.B. Baker and M.L. Ginsberg, Temporal projection and explanation, in: Proc. of the IJCAI 89 (Morgan Kaufmann, 1989) pp. 906\u2013911."},{"key":"325448_CR7","unstructured":"C. Baral and M. Gelfond, Representing concurrent actions in extended logic programming, in: IJCAI (Morgan Kaufmann, 1993) pp. 866\u2013871."},{"key":"325448_CR8","volume-title":"Reasoning about effects of concurrent actions","author":"C. Baral","year":"1994","unstructured":"C. Baral and M. Gelfond, Reasoning about effects of concurrent actions, Manuscript, University of Texas at El Paso (1994)."},{"key":"325448_CR9","doi-asserted-by":"crossref","unstructured":"K. van Belleghem, M. Denecker and D. de Schreye, Combining situation calculus and event calculus, in: Proc. of ICLP 95 (MIT Press, 1995).","DOI":"10.7551\/mitpress\/4298.003.0018"},{"key":"325448_CR10","doi-asserted-by":"crossref","unstructured":"K. Clark, Negation as failure, in: Logic and Databases, eds. H. Gallaire and J. Minker (Plenum Press, 1978) pp. 293\u2013322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"5","key":"325448_CR11","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"L. Console, D.T. Dupre and P. Torasso, On the relationship between abduction and deduction, J. of Logic and Computation 1(5) (1991) 661\u2013690.","journal-title":"J. of Logic and Computation"},{"key":"325448_CR12","unstructured":"J. Crawford and D.W. Etherington, Formalizing reasoning about change: a qualitative reasoning approach, in: Proc. of AAAI 92 (1992) pp. 577\u2013583."},{"key":"325448_CR13","doi-asserted-by":"crossref","unstructured":"C.V. Dam\u00e1sio, L.M. Pereira and N. Wolfgang, REVISE: An extended logic programming system for revising knowledge bases, in: Proc. of KR 94 (1994).","DOI":"10.1016\/B978-1-4832-1452-8.50151-2"},{"key":"325448_CR14","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. de Kleer","year":"1992","unstructured":"J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses and systems, Artificial Intelligence 56 (1992) 197\u2013222.","journal-title":"Artificial Intelligence"},{"key":"325448_CR15","unstructured":"M. Denecker and D. de Schreye, SLDNFA: an abductive procedure for normal abductive programs, in: Logic Programming: Proc. of 1992 Int. Joint Conference and Symposium, ed. Apt (MIT Press, 1992) pp. 686\u2013700."},{"key":"325448_CR16","volume-title":"Knowledge representation and reasoning in incomplete logic programming","author":"M. Denecker","year":"1993","unstructured":"M. Denecker, Knowledge representation and reasoning in incomplete logic programming, Ph.D. thesis, Department of Computer Science, K.U. Leuven (1993)."},{"key":"325448_CR17","unstructured":"M. Denecker and D. de Schreye, Representing incomplete knowledge in abductive logic programming, in: Logic Programming: Proc. of the 1993 Int. Symposium (MIT Press, 1993) pp. 147\u2013163."},{"key":"325448_CR18","unstructured":"P.M. Dung, Representing actions in logic programming and its application in database updates, in: Proc. of ICLP 93 (MIT Press, 1993) pp. 222\u2013238."},{"key":"325448_CR19","unstructured":"E. Eshghi and R. Kowalski, Abduction compared with negation as failure, in: Proc. of the 6th Int. Conf. on Logic Programming, eds. G. Levi and M. Martelli (MIT Press, 1989) pp. 234\u2013254."},{"key":"325448_CR20","unstructured":"C. Evans, Negation-as-failure as an approach to the Hanks and McDermott problem, in: Proc. of the 2nd Int. Symp. on Artificial Intelligence (1989)."},{"key":"325448_CR21","doi-asserted-by":"crossref","unstructured":"M. Gelfond, Autoepistemic logic and formalization of commonsense reasoning, in: Non-Monotonic Reasoning: Second International Workshop, Lecture Notes in Artificial Intelligence 346 (Springer, 1989) pp. 176\u2013186.","DOI":"10.1007\/3-540-50701-9_27"},{"key":"325448_CR22","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Proc. of 5th Logic Programming Symposium, eds. R. Kowalski and K. Bowen (MIT Press, 1988) pp. 1070\u20131080."},{"key":"325448_CR23","unstructured":"M. Gelfond and V. Lifschitz, Logic programs with classical negation, in: Logic Programming: Proc. of the 7th Int. Conf., eds. D. Warren and P. Szeredi (MIT Press, 1990) pp. 579\u2013597."},{"key":"325448_CR24","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz, Representing action and change by logic programs, Journal of Logic Programming 17 (1993) 301\u2013322.","journal-title":"Journal of Logic Programming"},{"key":"325448_CR25","doi-asserted-by":"crossref","unstructured":"M. Gelfond, V. Lifschitz and A. Rabinov, What are the limitations of the situation calculus?, in: Automated Reasoning: Essays in Honor of Woody Bledsoe, ed. R. Moore (1991) pp. 167\u2013179.","DOI":"10.1007\/978-94-011-3488-0_8"},{"issue":"1","key":"325448_CR26","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"R. Greiner, B. Smith and R. Wilkerson, A correction to the algorithm in Reiter's theory of diagnosis, Artificial Intelligence 41(1) (1989) 79\u201388.","journal-title":"Artificial Intelligence"},{"key":"325448_CR27","unstructured":"W. Hamscher, L. Console and J. de Kleer, eds., Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992)."},{"key":"325448_CR28","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"S. Hanks","year":"1988","unstructured":"S. Hanks and D. McDermott, Nonmonotonic logics and temporal projection, Artificial Intelligence 35 (1988) 165\u2013195.","journal-title":"Artificial Intelligence"},{"key":"325448_CR29","unstructured":"B.A. Haugh, Simple causal minimizations for temporal persistence and projection, in: Proc. of the AAAI 87 (1987) pp. 218\u2013223."},{"issue":"6","key":"325448_CR30","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1993","unstructured":"A.C. Kakas, R.A. Kowalski and F. Toni, Abductive logic programming, J. of Logic and Computation 2(6) (1993) 719\u2013770.","journal-title":"J. of Logic and Computation"},{"key":"325448_CR31","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(94)90089-2","volume":"69","author":"G.N. Kartha","year":"1994","unstructured":"G.N. Kartha, Two counterexamples related to Baker's approach to the frame problem, Artificial Intelligence 69 (1994) 379\u2013391.","journal-title":"Artificial Intelligence"},{"key":"325448_CR32","unstructured":"G.N. Kartha, Soundness and completeness theorems for three formalizations of action, in: Proc. IJCAI 93 (MIT Press, 1993) pp. 712\u2013718."},{"key":"325448_CR33","doi-asserted-by":"crossref","unstructured":"G.N. Kartha and V. Lifschitz, Actions with indirect effects: preliminary report, in: Proc. of KR 94 (Morgan Kaufmann, 1994) pp. 341\u2013350.","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"325448_CR34","unstructured":"H.A. Kautz, The logic of persistence, in: Proc. of the AAAI 86 (1986) pp. 401\u2013405."},{"key":"325448_CR35","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"R.A. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing 4 (1986) 67\u201375.","journal-title":"New Generation Computing"},{"key":"325448_CR36","unstructured":"R.A. Kowalski and F. Sadri, The situation calculus and event calculus compared, in: Proc. of ILPS 94 (MIT Press, 1994) pp. 539\u2013553."},{"key":"325448_CR37","unstructured":"R. Li and L.M. Pereira, Temporal reasoning with abductive logic programming, in: Proc. of ECAI 96 (1996) pp. 13\u201317."},{"key":"325448_CR38","unstructured":"R. Li and L.M. Pereira, What is believed is what is explained (sometimes), in: Proc. of AAAI 96 (1996) pp. 550\u2013555."},{"key":"325448_CR39","unstructured":"R. Li and L.M. Pereira, Updating temporal knowledge bases with the possible causes approach, in: Artificial Intelligence: Methodology, Systems, Applications, ed. A.M. Ramsay (IOS Press, 1996) pp. 148\u2013157."},{"key":"325448_CR40","volume-title":"Intelligent Agents III","author":"R. Li","year":"1997","unstructured":"R. Li and L.M. Pereira, Knowledge-based situated agents among us, in: Intelligent Agents III \u2014 Proc. of the Third International Workshop on Agent Theories. Architectures, and Languages (ATAL 96), eds. J.P. Muller, M.J. Wooldridge and N.R. Jennings, LNAI (Springer, 1997)."},{"key":"325448_CR41","unstructured":"V. Lifschitz, Towards a metatheory of action, in: Proc. of KR 91 (Morgan Kaufmann) pp. 376\u2013386."},{"key":"325448_CR42","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, Formal theories of action, in: The Frame Problem in Artificial Intelligence (Morgan Kaufmann, 1987) pp. 35\u201357.","DOI":"10.1016\/B978-0-934613-32-3.50009-5"},{"key":"325448_CR43","volume-title":"Nested abnormal theories","author":"V. Lifschitz","year":"1994","unstructured":"V. Lifschitz, Nested abnormal theories, Manuscript, University of Texas at Austin (1994)."},{"issue":"2","key":"325448_CR44","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(89)90059-3","volume":"38","author":"V. Lifschitz","year":"1989","unstructured":"V. Lifschitz and A. Robinov, Miracles in formal theories of action, Artificial Intelligence 38(2) (1989) 225\u2013237.","journal-title":"Artificial Intelligence"},{"key":"325448_CR45","unstructured":"V. Lifschitz, Pointwise circumscription, in: Readings in Nonmonotonic Reasoning, ed. M.L. Ginsberg (Morgan Kaufmann, 1987) pp. 410\u2013423."},{"key":"325448_CR46","unstructured":"F. Lin and Y. Shoham, Provably correct theories of actions: preliminary report, in: Proc. of AAAI 91 (1991)."},{"key":"325448_CR47","unstructured":"F. Lin and Y. Shoham, Concurrent actions in the situation calculus, in: Proc. of AAAI 92 (1992) pp. 590\u2013595."},{"issue":"3","key":"325448_CR48","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"J.W. Lloyd","year":"1984","unstructured":"J.W. Lloyd and R.W. Topor, Making prolog more expressive, Journal of Logic Programming 1(3) (1984) 225\u2013240.","journal-title":"Journal of Logic Programming"},{"key":"325448_CR49","unstructured":"J. McCarthy and P.J. Hayes, Some philosophical problems from the stand-point of artificial intelligence, in: Machine Intelligence 4, eds. B. Meltzer and D. Michie (Edinburgh, 1969) pp. 463\u2013502."},{"key":"325448_CR50","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence 28 (1986) 89\u2013116.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"325448_CR51","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/0004-3702(88)90022-7","volume":"35","author":"P. Morris","year":"1988","unstructured":"P. Morris, The Anomalous extension problem in default reasoning, Artificial Intelligence 35(3) (1988) 383\u2013399.","journal-title":"Artificial Intelligence"},{"key":"325448_CR52","unstructured":"E.P.D. Pednault, ADL: Exploring the middle ground between STRIPS and the situation calculus, in: Proc. of KR 89, eds. R.J. Brachman, H. Levesque and R. Reiter (Morgan Kaufmann) pp. 324\u2013332."},{"issue":"5","key":"325448_CR53","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1093\/logcom\/4.5.467","volume":"4","author":"E.P.D. Pednault","year":"1994","unstructured":"E.P.D. Pednault, ADL and the state-transition model, Journal of Logic and Computation 4(5) (1994) 467\u2013517.","journal-title":"Journal of Logic and Computation"},{"key":"325448_CR54","unstructured":"L.M. Pereira and J.J. Alferes, Well-founded semantics for logic programs with explicit negation, in: European Conf. on Artificial Intelligence, ed. B. Neumann (Wiley, 1992) pp. 102\u2013106."},{"key":"325448_CR55","unstructured":"L.M. Pereira, J.J. Alferes and J.N. Apar\u00edcio, Nonmonotonic reasoning with well founded semantics, in: Proc. of 8th ICLP, ed. K. Furukawa (MIT Press, 1991) pp. 475\u2013489."},{"issue":"2","key":"325448_CR56","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0743-1066(93)90032-C","volume":"17","author":"L.M. Pereira","year":"1993","unstructured":"L.M. Pereira, J.N. Apar\u00edcio and J.J. Alferes, Non-monotonic reasoning with logic programming, Journal of Logic Programming 17(2,3,4), Special issue on Nonmonotonic Reasoning (1993) 227\u2013263.","journal-title":"Journal of Logic Programming"},{"key":"325448_CR57","unstructured":"J. Pinto and R. Reiter, Temporal reasoning in logic programming: A case for the situation calculus, in: Proc. of ICLP 93 (MIT Press) pp. 203\u2013221."},{"key":"325448_CR58","first-page":"33","volume":"11","author":"D. Poole","year":"1994","unstructured":"D. Poole, Representing diagnosis knowledge, Annals of Math. and AI 11 (1994) 33\u201350.","journal-title":"Annals of Math. and AI"},{"key":"325448_CR59","doi-asserted-by":"crossref","unstructured":"T. Przymusinski, On the declarative semantics of stratified deductive databases and logic programs, in: Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, 1987) pp. 193\u2013216.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"325448_CR60","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0020-0255(85)90015-5","volume":"37","author":"J.A. Reggia","year":"1985","unstructured":"J.A. Reggia, D.S. Nau and Y. Wang, A formal model of diagnostic inference I: Problem formulation and decomposition, Info. Sci 37 (1985) 227\u2013256.","journal-title":"Info. Sci"},{"key":"325448_CR61","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81\u2013132.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"325448_CR62","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32(1) (1987) 57\u201396.","journal-title":"Artificial Intelligence"},{"key":"325448_CR63","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"R. Reiter, The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression, in: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, ed. V. Lifschitz (Academic Press, San Diego, CA, 1991) pp. 359\u2013380."},{"key":"325448_CR64","unstructured":"E. Sandewall, Filter preferential entailment for the logic of action in almost continuous worlds, in: Proc. of IJCAI 89 (Morgan Kaufmann, 1989)."},{"key":"325448_CR65","doi-asserted-by":"crossref","unstructured":"E. Sandewall, in: Features and Fluents: The Representation of Knowledge about Dynamic Systems, Vol. 1 (Oxford University Press, 1994).","DOI":"10.1093\/oso\/9780198538455.003.0001"},{"issue":"5","key":"325448_CR66","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1093\/logcom\/4.5.581","volume":"4","author":"E. Sandewall","year":"1994","unstructured":"E. Sandewall, The range of applicability of some non-monotonic logics for strict inertia, Journal of Logic and Computation 4(5) (1994) 581\u2013615.","journal-title":"Journal of Logic and Computation"},{"key":"325448_CR67","unstructured":"K. Satoh and N. Iwayama, A query evaluation method for abductive logic programming, in: Logic Programming: Proc. of 1992 Int. Joint Conference and Symposium, ed. Apt (1992) pp. 671\u2013685."},{"key":"325448_CR68","unstructured":"Y. Shoham, Reasoning about Change (MIT Press, 1987)."},{"key":"325448_CR69","unstructured":"M. Shanahan, Prediction is deduction but explanation is abduction, in: Proc. IJCAI 89 (Morgan Kaufmann, 1989) pp. 1055\u20131061."},{"key":"325448_CR70","unstructured":"M. Shanahan, Explanation in the situation calculus, in: Proc. of IJCAI 93 (Morgan Kaufmann, 1993) pp. 160\u2013165."},{"key":"325448_CR71","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(94)90061-2","volume":"71","author":"L.A. Stein","year":"1994","unstructured":"L.A. Stein and L. Morgenstern, Motivated action theory: a formal theory of causal reasoning, Artificial Intelligence 71 (1994) 1\u201342.","journal-title":"Artificial Intelligence"},{"key":"325448_CR72","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Van Gelder","year":"1991","unstructured":"A. Van Gelder, K. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, J. ACM 38 (1991) 620\u2013650.","journal-title":"J. ACM"},{"key":"325448_CR73","doi-asserted-by":"crossref","unstructured":"G. Wagner, Vivid Logic, Lecture Notes in Artificial Intelligence 764 (Springer, 1994).","DOI":"10.1007\/3-540-57604-5"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018921603877.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018921603877\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018921603877.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:37:28Z","timestamp":1747546648000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018921603877"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":73,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["325448"],"URL":"https:\/\/doi.org\/10.1023\/a:1018921603877","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}