{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:27:58Z","timestamp":1720625278255},"reference-count":16,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T00:00:00Z","timestamp":1207008000000},"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":1945,"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":[[2008,4]]},"DOI":"10.1016\/j.entcs.2008.03.073","type":"journal-article","created":{"date-parts":[[2008,4,9]],"date-time":"2008-04-09T14:12:28Z","timestamp":1207750348000},"page":"23-40","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["A New Proposal Of Quasi-Solved Form For Equality Constraint Solving"],"prefix":"10.1016","volume":"206","author":[{"given":"Javier","family":"\u00c1lvez","sequence":"first","affiliation":[]},{"given":"Paqui","family":"Lucio","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2008.03.073_bib001","series-title":"Foundations of Information and Knowledge Systems, Proceedings of the 4th International Symposium","first-page":"2","article-title":"Equational constraint solving via a restricted form of universal quantification","volume":"3861","author":"\u00c1lvez","year":"2006"},{"key":"10.1016\/j.entcs.2008.03.073_bib002","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1145\/179812.179813","article-title":"On solving equations and disequations","volume":"41","author":"Buntine","year":"1994","journal-title":"J. ACM"},{"key":"10.1016\/j.entcs.2008.03.073_bib003","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/j.entcs.2008.03.073_bib004","first-page":"85","article-title":"Equations and inequations on finite and infinite trees","author":"Colmerauer","year":"1984","journal-title":"FGCS"},{"key":"10.1016\/j.entcs.2008.03.073_bib005","series-title":"Computational Logic \u2013 Essays in Honor of Alan Robinson","first-page":"322","article-title":"Disunification: A survey","author":"Comon","year":"1991"},{"key":"10.1016\/j.entcs.2008.03.073_bib006","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/S0747-7171(89)80017-3","article-title":"Equational problems and disunification","volume":"7","author":"Comon","year":"1989","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.entcs.2008.03.073_bib007","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(90)90080-L","article-title":"A uniform method for proving lower bounds on the computational complexity of logical theories","volume":"48","author":"Compton","year":"1990","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/j.entcs.2008.03.073_bib008","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF00243794","article-title":"Explicit representation of terms defined by counter examples","volume":"3","author":"Lassez","year":"1987","journal-title":"J. Autom. Reasoning"},{"key":"10.1016\/j.entcs.2008.03.073_bib009","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","article-title":"A basis for deductive database systems","volume":"2","author":"Lloyd","year":"1985","journal-title":"J. Log. Program."},{"key":"10.1016\/j.entcs.2008.03.073_bib010","series-title":"LICS'1988: Proceedings of the Third Annual Symp. on Logic in Computer Science","first-page":"348","article-title":"Complete axiomatizations of the algebras of finite, rational and infinite trees","author":"Maher","year":"1988"},{"key":"10.1016\/j.entcs.2008.03.073_bib011","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"627","article-title":"Equivalences of logic programs","author":"Maher","year":"1988"},{"key":"10.1016\/j.entcs.2008.03.073_bib012","series-title":"The Metamathematics of Algebraic Systems (Collected Papers: 1936\u20131967)","first-page":"262","article-title":"Axiomatizable classes of locally free algebras","volume":"66","author":"Malcev","year":"1971"},{"key":"10.1016\/j.entcs.2008.03.073_bib013","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0747-7171(03)00029-4","article-title":"On the complexity of equational problems in cnf","volume":"36","author":"Pichler","year":"2003","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.entcs.2008.03.073_bib014","series-title":"Logic and Data Bases","first-page":"55","article-title":"On closed world data bases","author":"Reiter","year":"1978"},{"key":"10.1016\/j.entcs.2008.03.073_bib015","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/371316.371494","article-title":"A decision procedure for term algebras with queues","volume":"2","author":"Rybina","year":"2001","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/j.entcs.2008.03.073_bib016","series-title":"CADE-13: Proceedings of the 13th International Conference on Automated Deduction","first-page":"275","article-title":"An improved lower bound for the elementary theories of trees","volume":"1104","author":"Vorobyov","year":"1996"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066108001783?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066108001783?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:27:20Z","timestamp":1546172840000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066108001783"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":16,"alternative-id":["S1571066108001783"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2008.03.073","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2008,4]]}}}