{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:02Z","timestamp":1747548602063,"version":"3.40.5"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"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,4]]},"DOI":"10.1023\/a:1018920108903","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"261-277","source":"Crossref","is-referenced-by-count":4,"title":["A perspective on symbolic mathematical computing and artificial intelligence"],"prefix":"10.1007","volume":"19","author":[{"given":"J.","family":"Calmet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.A.","family":"Campbell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325423_CR1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-57322-4","volume-title":"Artificial Intelligence and Symbolic Mathematical Computing","author":"J. Calmet","year":"1993","unstructured":"J. Calmet and J.A. Campbell, Artificial Intelligence and symbolic mathematical computations, in: Artificial Intelligence and Symbolic Mathematical Computing, eds. J. Calmet and J.A. Campbell, LNCS 737 (Springer-Verlag, Berlin, 1993) p. 1."},{"key":"325423_CR2","doi-asserted-by":"crossref","first-page":"1569","DOI":"10.1126\/science.168.3939.1569","volume":"168","author":"A. Deprit","year":"1970","unstructured":"A. Deprit, J. Henrard and A. Rom, Science 168 (1970) 1569.","journal-title":"Science"},{"key":"325423_CR3","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/0021-9991(70)90064-1","volume":"5","author":"J.A. Campbell","year":"1970","unstructured":"J.A. Campbell and A.C. Hearn, J. Comput. Phys. 5 (1970) 280.","journal-title":"J. Comput. Phys."},{"key":"325423_CR4","volume-title":"Machines who Think","author":"P. McCorduck","year":"1979","unstructured":"P. McCorduck, Machines who Think (Freeman, San Francisco, 1979)."},{"key":"325423_CR5","volume-title":"Analytical differentiation by a digital computer","author":"H.G. Kahrimanian","year":"1953","unstructured":"H.G. Kahrimanian, Analytical differentiation by a digital computer, M.S. Thesis, Temple University, Philadelphia (1953)."},{"key":"325423_CR6","volume-title":"Analytical differentiation on a digital computer","author":"J. Nolan","year":"1953","unstructured":"J. Nolan, Analytical differentiation on a digital computer, M.S. Thesis, Massachusetts Institute of Technology, Cambridge, MA (1953)."},{"key":"325423_CR7","volume-title":"Computers and Thought","author":"R. Slagle","year":"1963","unstructured":"R. Slagle, A heuristic program that solves symbolic integration problems in freshman calculus, in: Computers and Thought, eds. E.A. Feigenbaum and J. Feldman (McGraw-Hill, New York, 1963)."},{"key":"325423_CR8","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1145\/362637.362651","volume":"14","author":"J. Moses","year":"1971","unstructured":"J. Moses, Comm. ACM 14 (1971) 548.","journal-title":"Comm. ACM"},{"key":"325423_CR9","doi-asserted-by":"publisher","first-page":"167","DOI":"10.2307\/1995313","volume":"139","author":"R.H. Risch","year":"1969","unstructured":"R.H. Risch, Trans. Amer. Math. Soc. 139 (1969) 167.","journal-title":"Trans. Amer. Math. Soc."},{"key":"325423_CR10","first-page":"19","volume-title":"The Psychology of Computer Vision","author":"D.L. Waltz","year":"1975","unstructured":"D.L. Waltz, Understanding line drawings of scenes with shadows, in: The Psychology of Computer Vision, ed. P.H. Winston (McGraw-Hill, New York, 1975) p. 19."},{"key":"325423_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0734-189X(88)80033-1","volume":"44","author":"J. Illingworth","year":"1988","unstructured":"J. Illingworth and J. Kittler, Comp. Vision, Graphics and Image Proc. 44 (1988) 87.","journal-title":"Comp. Vision, Graphics and Image Proc."},{"volume-title":"Readings in Knowledge Representation","year":"1985","key":"325423_CR12","unstructured":"R. Brachman and H. Levesque (eds.), Readings in Knowledge Representation (Morgan Kaufmann, Los Altos, CA, 1985)."},{"volume-title":"Approaches to Knowledge Representation","year":"1986","key":"325423_CR13","unstructured":"G. Ringland and D.A. Duce (eds.), Approaches to Knowledge Representation (Science Research Associates\/Wiley, Chichester, England, 1986)."},{"key":"325423_CR14","volume-title":"Expertise math\u00e9matique: CAMELIA, un logiciel pour raisonner et calculer","author":"M. Vivet","year":"1984","unstructured":"M. Vivet, Expertise math\u00e9matique: CAMELIA, un logiciel pour raisonner et calculer, Th\u00e8se d'Etat, Universit\u00e9 de Paris IV, Paris (1984)."},{"key":"325423_CR15","volume-title":"Meta-Level Inference","author":"B. Silver","year":"1986","unstructured":"B. Silver, Meta-Level Inference (Elsevier, Amsterdam, 1986)."},{"key":"325423_CR16","volume-title":"Building Large Knowledge-Based Systems","author":"D.B. Lenat","year":"1990","unstructured":"D.B. Lenat and S.V. Guha, Building Large Knowledge-Based Systems (Addison-Wesley, Reading, MA, 1990)."},{"key":"325423_CR17","volume-title":"AXIOM","author":"R.D. Jenks","year":"1992","unstructured":"R.D. Jenks and R.S. Sutor, AXIOM (Springer-Verlag, Berlin, 1992)."},{"key":"325423_CR18","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/BFb0013173","volume-title":"Design and Implementation of Symbolic Computation Systems","author":"J. Calmet","year":"1993","unstructured":"J. Calmet and I.A. Tjandra, A unified algebra-based specification language for symbolic computing, in: Design and Implementation of Symbolic Computation Systems, ed. A. Miola, LNCS 722 (Springer-Verlag, Berlin, 1993) p. 122."},{"key":"325423_CR19","unstructured":"G. Bittencourt, J. Calmet, K. Homann and A. Lulay, MANTRA: A multi-level knowledge representation system, in: Proc. 11th Brazilian Symposium on Artificial Intelligence (SBIA '94), eds. T. Pequeno and F. Carvalho (1994) p. 493."},{"key":"325423_CR20","volume-title":"The Psychology of Invention in the Mathematical Field","author":"J. Hadamard","year":"1949","unstructured":"J. Hadamard, The Psychology of Invention in the Mathematical Field (Princeton University Press, Princeton, NJ, 1949)."},{"key":"325423_CR21","volume-title":"Mathematics and Plausible Reasoning","author":"G. Polya","year":"1954","unstructured":"G. Polya, Mathematics and Plausible Reasoning, 2 vols (Princeton University Press, Princeton, NJ, 1954)."},{"key":"325423_CR22","volume-title":"Case-Based Reasoning","author":"J. Kolodner","year":"1994","unstructured":"J. Kolodner, Case-Based Reasoning (Morgan Kaufmann, San Mateo, CA, 1994)."},{"key":"325423_CR23","unstructured":"T. Sandholm and V. Lesser, Advantages of a leveled commitment contracting protocol, Artificial Intelligence, to be published."},{"key":"325423_CR24","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/3-540-60156-2_13","volume-title":"Integrating Symbolic Mathematical Computation and Artificial Intelligence","author":"J. Pfalzgraf","year":"1995","unstructured":"J. Pfalzgraf, U.C. Sigmund and K. Stokkermans, Modeling cooperating agents scenarios by deductive planning methods and logical fiberings, in: Integrating Symbolic Mathematical Computation and Artificial Intelligence, eds. J. Calmet and J.A. Campbell, LNCS 958 (Springer-Verlag, Berlin, 1995) p. 167."},{"key":"325423_CR25","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-61157-6_32","volume-title":"Distributed Software Agents and Applications","author":"L. Overgaard","year":"1996","unstructured":"L. Overgaard, H.G. Petersen and J.W. Perram, Motion planning for an articulated robot: a multiagent approach, in: Distributed Software Agents and Applications, eds. J.W. Perram and J.-P. M\u00fcller (Springer-Verlag, Berlin, 1996) p. 206."},{"key":"325423_CR26","first-page":"117","volume-title":"Proc. First Int. Conf. on Multi-Agent Systems","author":"N.S. Glance","year":"1995","unstructured":"N.S. Glance and T. Hogg, Dilemmas in computational societies, in: Proc. First Int. Conf. on Multi-Agent Systems, ed. V. Lesser (AAAI Press\/MIT Press, Menlo Park, CA, and Cambridge, MA, 1995) p. 117."},{"key":"325423_CR27","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1103\/PhysRevA.40.404","volume":"40","author":"J.O. Kephart","year":"1989","unstructured":"J.O. Kephart, T. Hogg and B.A. Huberman, Phys. Rev. A 40 (1989) p. 404.","journal-title":"Phys. Rev."},{"key":"325423_CR28","first-page":"73","volume-title":"Proc. First Int. Conf. on Multi-Agent Systems","author":"K.S. Decker","year":"1995","unstructured":"K.S. Decker and V.R. Lesser, Designing a family of coordination algorithms, in: Proc. First Int. Conf. on Multi-Agent Systems, ed. V. Lesser (AAAI Press\/MIT Press, Menlo Park, CA, and Cambridge, MA, 1995) p. 73."},{"key":"325423_CR29","first-page":"81","volume-title":"Proc. First Int. Conf. on Multi-Agent Systems","author":"J. Denzinger","year":"1995","unstructured":"J. Denzinger, Knowledge-baaed distributed search using teamwork, in: Proc. First Int. Conf. on Multi-Agent Systems, ed. V. Lesser (AAAI Press\/MIT Press, Menlo Park, CA, and Cambridge, MA, 1995) p. 81."},{"key":"325423_CR30","first-page":"269","volume-title":"Proc. First Int. Conf. on Multi-Agent Systems","author":"D. Maio","year":"1995","unstructured":"D. Maio and S. Rizzi, Unsupervised multi-agent exploration of structured environments, in: Proc. First Int. Conf. on Multi-Agent Systems, ed. V. Lesser (AAAI Press\/MIT Press, Menlo Park, CA, and Cambridge, MA, 1995) p. 269."},{"key":"325423_CR31","first-page":"225","volume-title":"Proc. First Int. Conf. on Multi-Agent Systems","author":"A. Knoll","year":"1995","unstructured":"A. Knoll and J. Meinkoehn, Hierarchical and lateral coordination in multi-agent systems: an analysis of message traffic flow, in: Proc. First Int. Conf. on Multi-Agent Systems, ed. V. Lesser (AAAI Press\/MIT Press, Menlo Park, CA, and Cambridge, MA, 1995) p. 225."},{"key":"325423_CR32","volume-title":"Mechanical Geometry Theorem Proving","author":"S.-C. Chou","year":"1988","unstructured":"S.-C. Chou, Mechanical Geometry Theorem Proving (D. Reidel, Dordrecht, Netherlands, 1988)."},{"key":"325423_CR33","series-title":"LNCS","first-page":"108","volume-title":"Proc. EUROCAM '82","author":"L. Sterling","year":"1982","unstructured":"L. Sterling, A. Bundy and L. Byrd, Solving symbolic equations with PRESS, in: Proc. EUROCAM '82, ed. J. Calmet, LNCS 144 (Springer-Verlag, Berlin, 1982) p. 108."},{"key":"325423_CR34","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"G.E. Collins and H. Hong, J. Symb. Comp. 12 (1991) 299.","journal-title":"J. Symb. Comp."},{"key":"325423_CR35","series-title":"LNCS","first-page":"151","volume-title":"Artificial Intelligence and Symbolic Mathematical Computing","author":"H. Hong","year":"1993","unstructured":"H. Hong, Heuristic search strategies for cylindrical algebraic decomposition, in: Artificial Intelligence and Symbolic Mathematical Computing, eds. J. Calmet and J.A. Campbell, LNCS 737 (Springer-Verlag, Berlin, 1993) p. 151."},{"key":"325423_CR36","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/3-540-57322-4_18","volume-title":"Artificial Intelligence and Symbolic Mathematical Computing","author":"R. H\u00e4hnle","year":"1993","unstructured":"R. H\u00e4hnle, A new translation from deduction into integer programming, in: Artificial Intelligence and Symbolic Mathematical Computing, eds. J. Calmet and J.A. Campbell, LNCS 737 (Springer-Verlag, Berlin, 1993) p. 262."},{"key":"325423_CR37","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/3-540-60156-2_2","volume-title":"Integrating Symbolic Mathematical Computation and Artificial Intelligence","author":"A. Rege","year":"1995","unstructured":"A. Rege and J. Canny, A practical algorithm for geometric theorem proving, in: Integrating Symbolic Mathematical Computation and Artificial Intelligence, eds. J. Calmet and J.A. Campbell, LNCS 958 (Springer-Verlag, Berlin, 1995) p. 10."},{"key":"325423_CR38","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-61732-9_60","volume-title":"Artificial Intelligence and Symbolic Mathematical Computation","author":"D. Wang","year":"1996","unstructured":"D. Wang, Geometry machines: from artificial intelligence to symbolic mathematical computation, in: Artificial Intelligence and Symbolic Mathematical Computation, eds. J. Calmet, J.A. Campbell and J. Pfalzgraf (Springer-Verlag, Berlin, 1996) p. 213."},{"volume-title":"Machine Learning","year":"1983","key":"325423_CR39","unstructured":"R. Michalski, J. Carbonell and T.M. Mitchell (eds.), Machine Learning, 3 vols (Tioga Press, Palo Alto, CA, and Springer-Verlag, Berlin, 1983 and subsequent years)."},{"key":"325423_CR40","first-page":"3","volume-title":"Knowledge-Based Systems in Artificial Intelligence","author":"D.B. Lenat","year":"1982","unstructured":"D.B. Lenat, AM: an Artificial Intelligence approach to discovery in mathematics as heuristic search, in: Knowledge-Based Systems in Artificial Intelligence, eds. R. Davis and D. Lenat (McGraw-Hill, New York, 1982) p. 3."},{"key":"325423_CR41","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(84)90015-8","volume":"23","author":"G.D. Ritchie","year":"1984","unstructured":"G.D. Ritchie and F.K. Hanna, Artificial Intelligence 23 (1984) 249.","journal-title":"Artificial Intelligence"},{"key":"325423_CR42","first-page":"52","volume-title":"Progress in Artificial Intelligence","author":"P. Langley","year":"1985","unstructured":"P. Langley, Strategy acquisition governed by experimentation, in: Progress in Artificial Intelligence, eds. L. Steels and J.A. Campbell (Ellis Horwood, Chichester, England, 1985) p. 52."},{"key":"325423_CR43","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1088\/0305-4470\/12\/8\/008","volume":"12","author":"J.A. Campbell","year":"1979","unstructured":"J.A. Campbell, J. Phys. A 12 (1979) 1149.","journal-title":"J. Phys."},{"key":"325423_CR44","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6090.001.0001","volume-title":"Scientific Discovery: Computational Explorations of the Creative Process","author":"P. Langley","year":"1987","unstructured":"P. Langley, H.A. Simon, G. Bradshaw and J.M. Zytkow, Scientific Discovery: Computational Explorations of the Creative Process (MIT Press, Cambridge, MA, 1987)."},{"key":"325423_CR45","first-page":"277","volume":"6","author":"S. Kocabas","year":"1991","unstructured":"S. Kocabas, Machine Learning 6 (1991) 277.","journal-title":"Machine Learning"},{"key":"325423_CR46","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0004-3702(95)00128-X","volume":"82","author":"R.E. Valdes-Perez","year":"1996","unstructured":"R.E. Valdes-Perez, Artificial Intelligence 82 (1996) 331.","journal-title":"Artificial Intelligence"},{"key":"325423_CR47","first-page":"139","volume-title":"The Naive Physics Manifesto, in Expert Systems in the Microelectronic Age","author":"P.J. Hayes","year":"1979","unstructured":"P.J. Hayes, The Naive Physics Manifesto, in Expert Systems in the Microelectronic Age, ed. D. Michie (Edinburgh University Press, Edinburgh, 1979) p. 139."},{"key":"325423_CR48","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"K.D. Forbus, Artificial Intelligence 24 (1984) 85.","journal-title":"Artificial Intelligence"},{"key":"325423_CR49","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, Artificial Intelligence 56 (1992) 197.","journal-title":"Artificial Intelligence"},{"key":"325423_CR50","unstructured":"P. Struss, paper in the present issue of this journal."},{"key":"325423_CR51","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-61732-9_54","volume-title":"Artificial Intelligence and Symbolic Mathematical Computation","author":"A.G. Cohn","year":"1996","unstructured":"A.G. Cohn, Calculi for qualitative spatial reasoning, in: Artificial Intelligence and Symbolic Mathematical Computation, eds. J. Calmet, J.A. Campbell and J. Pfalzgraf, LNCS 1128 (Springer-Verlag, Berlin, 1996) p. 124."},{"key":"325423_CR52","first-page":"418","volume":"28","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer, Comm. ACM 28 (1990) 418.","journal-title":"Comm. ACM"},{"key":"325423_CR53","doi-asserted-by":"crossref","unstructured":"R. Rueher, Software \u2014 Practice & Experience 23 (1993).","DOI":"10.1002\/spe.4380230204"},{"key":"325423_CR54","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-61732-9_63","volume-title":"Artificial Intelligence and Symbolic Mathematical Computation","author":"D. Bouhineau","year":"1996","unstructured":"D. Bouhineau, Solving geometrical constraint systems using CLP based on linear constraint solver, in: Artificial Intelligence and Symbolic Mathematical Computation, eds. J. Calmet, J.A. Campbell and J. Pfalzgraf, LNCS 1128 (Springer-Verlag, Berlin, 1996) p. 274."},{"key":"325423_CR55","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/3-540-60156-2_19","volume-title":"Integrating Symbolic Mathematical Computation and Artificial Intelligence","author":"A. Semenov","year":"1995","unstructured":"A. Semenov, A. Babichev and A. Leshchenko, Subdefinite computations and symbolic transformations in the UniCalc solver, in: Integrating Symbolic Mathematical Computation and Artificial Intelligence, eds. J. Calmet and J.A. Campbell, LNCS 958 (Springer-Verlag, Berlin, 1995) p. 264."},{"key":"325423_CR56","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P.-J. Stuckey and R. Yap, ACM Trans. Prog. Lang. Syst. 14 (1992) 339.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"325423_CR57","volume-title":"Constraint Programming","author":"W. Leler","year":"1989","unstructured":"W. Leler, Constraint Programming (Addison-Wesley, Reading, MA, 1989)."},{"key":"325423_CR58","volume-title":"CONSAT: a System for Constraint Satisfaction","author":"H-W. G\u00fcsgen","year":"1989","unstructured":"H-W. G\u00fcsgen, CONSAT: a System for Constraint Satisfaction (Pitman, London, 1989)."},{"key":"325423_CR59","unstructured":"P. Ladkin and A. Reinefeld, paper in the present issue of this journal."},{"key":"325423_CR60","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/3-540-60156-2_6","volume-title":"Integrating Symbolic Mathematical Computation and Artificial Intelligence","author":"P. Madden","year":"1995","unstructured":"P. Madden and I. Green, A general technique for automatically optimizing programs through the use of proof plans, in: Integrating Symbolic Mathematical Computation and Artificial Intelligence, eds. J. Calmet and J.A. Campbell, LNCS 958 (Springer-Verlag, Berlin, 1995) p. 64."},{"key":"325423_CR61","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-60156-2_4","volume-title":"Integrating Symbolic Mathematical Computation and Artificial Intelligence","author":"Y.V. Kapitonova","year":"1995","unstructured":"Y.V. Kapitonova, A.A. Letichevsky, M.S. L'vov and V.A. Volkov, Tools for solving problems in the scope of algebraic programming, in: Integrating Symbolic Mathematical Computation and Artificial Intelligence, eds. J. Calmet and J.A. Campbell, LNCS 958 (Springer-Verlag, Berlin, 1995) p. 30."},{"key":"325423_CR62","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-60156-2_3","volume-title":"Integrating Symbolic Mathematical Computation and Artificial Intelligence","author":"K. Homann","year":"1995","unstructured":"K. Homann and J. Calmet, Combining theorem proving and symbolic mathematical computing, in: Integrating Symbolic Mathematical Computation and Artificial Intelligence, eds. J. Calmet and J.A. Campbell, LNCS 958 (Springer-Verlag, Berlin, 1995) p. 18."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018920108903.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018920108903\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018920108903.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:31:07Z","timestamp":1747546267000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018920108903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":62,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["325423"],"URL":"https:\/\/doi.org\/10.1023\/a:1018920108903","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}