{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:29Z","timestamp":1725663449373},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540549673"},{"type":"electronic","value":"9783540466123"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54967-6_60","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:22:08Z","timestamp":1330212128000},"page":"40-56","source":"Crossref","is-referenced-by-count":0,"title":["AC-equation solving"],"prefix":"10.1007","author":[{"given":"Subrata","family":"Mitra","sequence":"first","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,5,31]]},"reference":[{"key":"4_CR1","first-page":"201","volume-title":"Logic Programming: Functions, Relations, and Equations","author":"R. Barbuti","year":"1986","unstructured":"R. Barbuti, Marco Bellia, Giorgio Levi, and M. Martelli. LEAF: a language which integrates logic, equations and functions. In D. DeGroot and G. Lindstrom, editors, Logic Programming: Functions, Relations, and Equations, pages 201\u2013238, Prentice-Hall, Englewood Cliffs, NJ, 1986."},{"key":"4_CR2","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, North-Holland, Amsterdam, 1990."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22","author":"N. Dershowitz","year":"1979","unstructured":"Nachum Dershowitz and Z. Manna. Proving Termination with Multiset Orderings. In Communications of the ACM, vol. 22, pages 465\u2013476, August 1979.","journal-title":"Communications of the ACM"},{"key":"4_CR4","volume-title":"Lecture Notes in Computer Science","author":"N. Dershowitz","year":"1990","unstructured":"Nachum Dershowitz, Subrata Mitra and G. Sivakumar. Equation Solving in Conditional AC-Theories. In Proceedings of the Second International Conference on Algebraic and Logic Programming, Nancy, France, October 1990. Vol. 463 of Lecture Notes in Computer Science, Springer Verlag (1990)."},{"key":"4_CR5","first-page":"21","volume-title":"Machine Intelligence 11: The logic and acquisition of knowledge","author":"N. Dershowitz","year":"1988","unstructured":"Nachum Dershowitz and David A. Plaisted. Equational programming. In J. E. Hayes, D. Michie, and J. Richards, editors, Machine Intelligence 11: The logic and acquisition of knowledge, chapter 2, pages 21\u201356, Oxford Press, Oxford, 1988."},{"key":"4_CR6","unstructured":"Nachum Dershowitz and G. Sivakumar. Goal-directed equation solving. In Proceedings of the Seventh National Conference on Artificial Intelligence, pages 166\u2013170, St. Paul, MN, August 1988."},{"key":"4_CR7","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":"4_CR8","doi-asserted-by":"crossref","unstructured":"A. Fortenbacher. An Algebraic Approach to Unification under Associativity and Commutativity. In Proc. of Int. Conference of Rewriting Techniques and Applications, Springer LNCS 202, pages 381\u2013397.","DOI":"10.1007\/3-540-15976-2_19"},{"key":"4_CR9","first-page":"318","volume-title":"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":"4_CR10","volume-title":"Masters thesis","author":"S. Mitra","year":"1990","unstructured":"Subrata Mitra. Top-Down Equation Solving and Extensions to Associative and Commutative Theories. Masters thesis, Department of Computer and Information Sciences, University of Delaware, Newark, DE, 1990."},{"key":"4_CR11","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":"4_CR12","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."},{"key":"4_CR13","volume-title":"PhD thesis","author":"G. Sivakumar","year":"1989","unstructured":"G. Sivakumar. Proofs and Computations in Conditional Equational Theories. PhD thesis, Department of Computer Science, University of Illinois, Urbana, IL, 1989."},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1145\/322261.322262","volume":"28","author":"M. E. Stickel","year":"1981","unstructured":"Mark E. Stickel. A unification Algorithm for Associative-Commutative Functions. In JACM 28, pages 423\u2013434 (1981).","journal-title":"JACM"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54967-6_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:13Z","timestamp":1619573233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54967-6_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540549673","9783540466123"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-54967-6_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}