{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T14:12:52Z","timestamp":1763388772948,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558088"},{"type":"electronic","value":"9783540472919"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55808-x_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:45:19Z","timestamp":1330249519000},"page":"191-199","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Negation elimination in equational formulae"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Comon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maribel","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"17_CR1","volume-title":"Research Report 716","author":"H. Comon","year":"1991","unstructured":"H. Comon and M. Fernandez. Negation elimination in equational formulae. Research Report 716, Laboratoire de Recherche en Informatique, Univ. Paris-Sud, France, December 1991."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Hubert Comon. Complete axiomatization.s of some quotient term algebras. In Proc. ICALP, Madrid, LNCS 510, July 1991.","DOI":"10.1007\/3-540-54233-7_156"},{"key":"17_CR3","unstructured":"Hubert Comon. Disunification: a survey. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991."},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/S0747-7171(89)80017-3","volume":"7","author":"H. Comon","year":"1989","unstructured":"Hubert Comon and Pierre Lescanne. Equational problems and disunification. J. Symbolic Computation, 7:371\u2013425, 1989.","journal-title":"J. Symbolic Computation"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 243\u2013309. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"17_CR6","unstructured":"Maribel Fern\u00e1ndez. Equational disunification. To appear in Applicable Algebra in Engineering, Communications and Computing, 1991."},{"key":"17_CR7","unstructured":"Jean-Pierre Jouannaud and Claude Kirchner. Solving equations in abstract algebras: A rule-based survey of unification. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT-Press, 1991."},{"issue":"3","key":"17_CR8","first-page":"9","volume":"4","author":"C. Kirchner","year":"1990","unstructured":"Claude Kirchner, Helene Kirchner, and Michael Rusinowitch. Deduction with symbolic constraints. Revue Fran\u00e7aise d'Intelligence Artificielle, 4(3):9\u201352, 1990. Special issue on automatic deduction.","journal-title":"Revue Fran\u00e7aise d'Intelligence Artificielle"},{"key":"17_CR9","volume-title":"Elimination of negation in term algebras","author":"J.-L. Lassez","year":"1991","unstructured":"J.-L. Lassez, M. Maher, and K. Marriott. Elimination of negation in term algebras. In Proc. 16th Mathematical Foundations of Computer Science 91, Warsaw. Springer-Verlag, 1991."},{"issue":"3","key":"17_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00243794","volume":"3","author":"J.-L. Lassez","year":"1987","unstructured":"J.-L. Lassez and K. G. Marriott. Explicit representation of terms defined by counter examples. J. Automated Reasoning, 3(3):1\u201317, September 1987.","journal-title":"J. Automated Reasoning"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"M. J. Maher. Complete axiomatizations of the algebras of finite, rational and infinite trees. In Proc. 3rd IEEE Symp. Logic in Computer Science, Edinburgh, pages 348\u2013357, July 1988.","DOI":"10.1109\/LICS.1988.5132"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"A. I. Mal'cev. Axiomatizable classes of locally free algebras of various types. In The Metamathematics of Algebraic Systems. Collected Papers. 1936\u20131967, pages 262\u2013289. North-Holland, 1971.","DOI":"10.1016\/S0049-237X(08)70560-3"},{"key":"17_CR13","unstructured":"M. Tajine. Representation explicite de certains langages de termes: th\u00e9orie et applications. Th\u00e8se de l'universit\u00e9 Louis Pasteur de Strasbourg, 1992."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1992"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/3-540-55808-X_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:29:44Z","timestamp":1742592584000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/3-540-55808-X_17"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558088","9783540472919"],"references-count":13,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/3-540-55808-x_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"30 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}