{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:31Z","timestamp":1725663511277},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556022"},{"type":"electronic","value":"9783540472520"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"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-55602-8_194","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:20:52Z","timestamp":1330251652000},"page":"589-602","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Decidable matching for convergent systems"],"prefix":"10.1007","author":[{"given":"Nachum","family":"Dershowitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Subrata","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Sivakumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"44_CR1","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF00247435","volume":"3","author":"A. Bockmayr","year":"1987","unstructured":"Alexander Bockmayr. A Note on a Canonical Theory with Undecidable Unification and Matching Problem. In Journal of Automated Reasoning, Vol 3, pages 379\u2013381, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"44_CR2","first-page":"45","volume-title":"Lecture Notes in Computer Science","author":"N. Dershowitz","year":"1987","unstructured":"Nachum Dershowitz and G. Sivakumar. Solving Goals in Equational Languages. In Proceedings of the First International Workshop Conditional Term Rewriting System, Orsay, France, July 1987. Vol. 308, pages 45\u201355, of Lecture Notes in Computer Science, Springer Verlag (1987)."},{"key":"44_CR3","first-page":"243","volume-title":"Handbook of Theoretical Computer Science","author":"N. Dershowitz","year":"1990","unstructured":"Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 6, pages 243\u2013320, North-Holland, Amsterdam, 1990."},{"key":"44_CR4","unstructured":"M. Fay. First-order unification in an equational theory. In Proceedings of the Fourth Workshop on Automated Deduction, pages 161\u2013167, Austin, TX, February 1979."},{"key":"44_CR5","first-page":"318","volume-title":"Vol. 87 of Lecture Notes in Computer Science","author":"J. Hullot","year":"1980","unstructured":"Jean-Marie Hullot. Canonical forms and unification. In R. Kowalski, editor, Proceedings of the Fifth International Conference on Automated Deduction, pages 318\u2013334, Les Arcs, France, July 1980. Vol. 87 of Lecture Notes in Computer Science, Springer, Berlin."},{"key":"44_CR6","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00264362","volume":"24","author":"S. Heilbrunner","year":"1987","unstructured":"Stephan Heilbrunner and Steffen Holldobler. The Undecidability of the Unification and Matching Problem for Canonical Theories. In Acta Informatica, Vol 24, pages 157\u2013171, 1987.","journal-title":"Acta Informatica"},{"key":"44_CR7","volume-title":"Computational Logic: Essays in Honor of Alan Robinson","author":"J. Jouannaud","year":"1991","unstructured":"Jean-Pierre Jouannaud and Claude Kirchner. Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, MIT Press, Cambridge, MA, 1991."},{"issue":"Number4","key":"44_CR8","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/36330.36332","volume":"21","author":"D. Kapur","year":"1987","unstructured":"Deepak Kapur and Paliath Narendran. Matching, Unification and Complexity. In ACM SIGSAM Bulletin, (1987) Vol. 21, Number 4, pages 6\u20139.","journal-title":"ACM SIGSAM Bulletin"},{"key":"44_CR9","volume-title":"Master's thesis","author":"S. Mitra","year":"1990","unstructured":"Subrata Mitra. Top-Down Equation Solving and Extensions to Associative and Commutative Theories. Master's thesis, Department of Computer and Information Sciences, University of Delaware, Newark, DE, 1990."},{"key":"44_CR10","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0747-7171(89)80014-8","volume":"7","author":"W. Nutt","year":"1989","unstructured":"Werner Nutt, Pierre R\u00e9ty and Gert Smolka. Basic Narrowing Revisited. In J. of Symbolic Computation, (1989) Vol. 7, pages 295\u2013317.","journal-title":"J. of Symbolic Computation"},{"key":"44_CR11","first-page":"228","volume-title":"Vol. 256 of Lecture Notes in Computer Science","author":"P. R\u00e9ty","year":"1987","unstructured":"Pierre R\u00e9ty. Improving basic narrowing techniques. In P. Lescanne, editor, Proceedings of the Second International Conference on Rewriting Techniques and Applications, pages 228\u2013241, Bordeaux, France, May 1987. Vol. 256 of Lecture Notes in Computer Science, Springer, Berlin."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction\u2014CADE-11"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55602-8_194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T00:49:53Z","timestamp":1578530993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55602-8_194"}},"subtitle":["Preliminary Version"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556022","9783540472520"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-55602-8_194","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":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}