{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T16:57:12Z","timestamp":1781283432441,"version":"3.54.1"},"reference-count":13,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8963,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[1989,1]]},"DOI":"10.1016\/s0747-7171(89)80007-0","type":"journal-article","created":{"date-parts":[[2008,4,9]],"date-time":"2008-04-09T14:00:48Z","timestamp":1207749648000},"page":"71-84","source":"Crossref","is-referenced-by-count":25,"title":["Solving symbolic equations with PRESS"],"prefix":"10.1016","volume":"7","author":[{"given":"Leon","family":"Sterling","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Bundy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lawrence","family":"Byrd","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard","family":"O'Keefe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernard","family":"Silver","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0747-7171(89)80007-0_bib1","series-title":"Proc. of IJCAI- 81","first-page":"466","article-title":"Using matching in algebraic equation solving","author":"Borning","year":"1981"},{"key":"10.1016\/S0747-7171(89)80007-0_bib2","series-title":"omputing Supplement 4: Computer Algebra","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7551-4","author":"Buehberger","year":"1983"},{"key":"10.1016\/S0747-7171(89)80007-0_bib3","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/2701.2702","article-title":"A generalized interval package and its use for semantic checking","volume":"10","author":"Bundy","year":"1984","journal-title":"ACM Trans. Math. Software"},{"key":"10.1016\/S0747-7171(89)80007-0_bib4","series-title":"Proc. IJCAI-81","article-title":"Homogenization : preparing equations for change of unknown","author":"Bundy","year":"1981"},{"key":"10.1016\/S0747-7171(89)80007-0_bib5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(81)90010-2","article-title":"Using recta-level inference for selective application of multiple rewrite rules in algebraic manipulation","volume":"16","author":"Bundy","year":"1981","journal-title":"Artif. Intell."},{"key":"10.1016\/S0747-7171(89)80007-0_bib6","series-title":"Proc. of IJCAI-79","first-page":"1017","article-title":"Solving mechanics problems using recta-level inference","author":"Bundy","year":"1979"},{"key":"10.1016\/S0747-7171(89)80007-0_bib7","series-title":"Programming 07 Prolog","author":"Clocksin","year":"1981"},{"issue":"2","key":"10.1016\/S0747-7171(89)80007-0_bib8","doi-asserted-by":"crossref","DOI":"10.1145\/43876.43879","article-title":"Commentary on: Solving Symbolic Equations with PRESS","volume":"22","author":"Fateman","year":"1988","journal-title":"ACM SIGSAM Bull"},{"key":"10.1016\/S0747-7171(89)80007-0_bib9","series-title":"2nd Syrup. on Symbolic Manipulation","first-page":"59","article-title":"The MACSYMA system","author":"Martin","year":"1971"},{"key":"10.1016\/S0747-7171(89)80007-0_bib10","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/2271358","article-title":"Some undecidable problems involving elementary functions of a real variable","volume":"33","author":"Richardson","year":"1968","journal-title":"J. Symb. Logic"},{"key":"10.1016\/S0747-7171(89)80007-0_bib11","series-title":"6th Conf. on Automated Deduction","first-page":"132","article-title":"The application of Homogenization to simultaneous equations","author":"Silver","year":"1982"},{"key":"10.1016\/S0747-7171(89)80007-0_bib12","series-title":"Meta-level Inference: Representing and Learning Control Information in Artificial Intelligence","author":"Silver","year":"1985"},{"key":"10.1016\/S0747-7171(89)80007-0_bib13","series-title":"Working Paper 103, Dept. of Artificial Intelligence","article-title":"A Computer Program to Perform Integration by Parts","author":"Skinner","year":"1981"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717189800070?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717189800070?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,30]],"date-time":"2018-12-30T12:29:10Z","timestamp":1546172950000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717189800070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,1]]}},"alternative-id":["S0747717189800070"],"URL":"https:\/\/doi.org\/10.1016\/s0747-7171(89)80007-0","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[1989,1]]}}}