{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T14:46:17Z","timestamp":1648824377843},"reference-count":20,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3893,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s1571-0661(04)80512-7","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"22-40","source":"Crossref","is-referenced-by-count":2,"title":["Syntactic Unification as a Geometric Operation in Free Modules over certain Rings"],"prefix":"10.1016","volume":"66","author":[{"given":"R.N.","family":"Banerjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Bujosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB1","series-title":"Rings and Categories of Modules","author":"Frank Anderson","year":"1992"},{"issue":"No 1","key":"10.1016\/S1571-0661(04)80512-7_NEWBIB2","first-page":"167","article-title":"A constructive definition of the space of infinite p-trees","volume":"Vol 40","author":"Arriaga","year":"1994","journal-title":"Math. Japonica"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB3","series-title":"\u201cHandbook of Automated Reasoning\u201d","article-title":"Unification Theory","author":"Baader","year":"2001"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB4","series-title":"\u201cWorkshop on Logic Programming for Artificial Intelligence and Information Systems (LPAI)\u201d","first-page":"1","article-title":"Syntactic Unification Concepts in Free Modules over Certain kind of Rings","author":"Banerjee","year":"2001"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB5","doi-asserted-by":"crossref","unstructured":"R. N. Banerjee and A. Bujosa Implementing Term Algebra Syntactic Unification in Free Modules over Certain kind of Rings, in \u201cFoundations of Information and Knowledge Systems (FoIKS 2002)\u201d, T. Eiter and K.-D. Schewe, eds., LNCS 2284, pp. 15\u201331","DOI":"10.1016\/S1571-0661(04)80512-7"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB6","series-title":"An Algebraic Introduction to Mathematical Logic","author":"Donald Barnes","year":"1975"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB7","series-title":"\u00c9l\u00e9ments de Math\u00e9matique: Alg\u00e8bre I, Chapitres 1 \u00e0 3","author":"Bourbaki","year":"1970"},{"issue":"No 1","key":"10.1016\/S1571-0661(04)80512-7_NEWBIB8","first-page":"153","article-title":"p-Tangles: A ring with identity which contains the space of infinite p-trees","volume":"Vol 42","author":"Bujosa","year":"1995","journal-title":"Math. Japonica"},{"issue":"No. 1","key":"10.1016\/S1571-0661(04)80512-7_NEWBIB9","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1996-25104","article-title":"Syntactic elements of declarative programming: Symbolic linear equations","volume":"Vol 25","author":"Bujosa","year":"1996","journal-title":"Fund. Informaticae"},{"issue":"No. 2","key":"10.1016\/S1571-0661(04)80512-7_NEWBIB10","first-page":"369","article-title":"A linear dependence condition which characterizes the p-trees","volume":"Vol 43","author":"Bujosa","year":"1996","journal-title":"Math. Japonica"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB11","doi-asserted-by":"crossref","first-page":"267","DOI":"10.3233\/FI-1997-323403","article-title":"Unification: Nothing but the Solution of a System Of Linear Equations","volume":"Vol 32","author":"Bujosa","year":"1997","journal-title":"Fund. Informaticae"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB12","article-title":"Universal Geometric Algebra","volume":"Vol. 62","author":"Hestenes","year":"1988","journal-title":"Simon Stevin"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB13","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00046920","article-title":"The Design of Linear Algebra and Geometry","volume":"23","author":"Hestenes","year":"1991","journal-title":"Acta Aplicandae Mathematicae"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB14","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1006182023017","article-title":"Vectorial Equation Solving for Mechanical Geometry Theorem Proving","volume":"Vol. 25","author":"Li","year":"2000","journal-title":"Journal of Automated Reasoning"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB15","series-title":"Graduate Texts in Mathematics","author":"Algebra","year":"1974"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB16","series-title":"\u201cFoundations of Deductive Databases and Logic Programming\u201d","article-title":"Unification Revisited","author":"Lassez","year":"1987"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB17","first-page":"348","article-title":"Complete Axiomatisations of the Algebras of finite, Rational, and Infinite Trees","author":"Maher","year":"1988","journal-title":"L.I.C.S"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB18","series-title":"Universal Algebra, Algebraic Logic and Databases","author":"Plotkin","year":"1994"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB19","series-title":"Grupos Continuos","author":"Pontriaguin","year":"1978"},{"key":"10.1016\/S1571-0661(04)80512-7_NEWBIB20","series-title":"The Art of Prolog","author":"Sterling","year":"1994"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805127?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805127?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:11:14Z","timestamp":1585897874000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S1571066104805127"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80512-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}