{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:06Z","timestamp":1725663546033},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531623"},{"type":"electronic","value":"9783540467380"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53162-9_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:00:49Z","timestamp":1330207249000},"page":"283-297","source":"Crossref","is-referenced-by-count":2,"title":["Equation solving in conditional AC-theories"],"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,2]]},"reference":[{"key":"20_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."},{"issue":"3","key":"20_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M. Bellia","year":"1986","unstructured":"Marco Bellia and Giorgio Levi. The relation between logic and functional languages: a survey. J. of Logic Programming, 3(3):217\u2013236, October 1986.","journal-title":"J. of Logic Programming"},{"key":"20_CR3","volume-title":"Handbook of Theoretical Computer Science, chapter 6","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. To appear; available as Rapport 478, LRI, Univ. Paris-Sud, France."},{"volume-title":"Logic Programming: Functions, Relations, and Equations","year":"1986","key":"20_CR4","unstructured":"Doug DeGroot and G. Lindstrom, editors. Logic Programming: Functions, Relations, and Equations. Prentice-Hall, Englewood Cliffs, NJ, 1986."},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-19242-5_3","volume-title":"Proceedings of the First International Workshop on Conditional Term Rewriting Systems","author":"N. Dershowitz","year":"1988","unstructured":"Nachum Dershowitz, Mitsuhiro Okada, and G. Sivakumar. Confluence of conditional rewrite systems. In S. Kaplan and J.-P. Jouannaud, editors, Proceedings of the First International Workshop on Conditional Term Rewriting Systems, pages 31\u201344, Orsay, France, July 1987, Vol. 308 of Lecture Notes in Computer Science, Springer, Berlin (1988)."},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/BFb0012855","volume-title":"Proceedings of the Ninth Conference on Automated Deduction","author":"N. Dershowitz","year":"1988","unstructured":"Nachum Dershowitz, Mitsunhiro Okada, and G. Sivakumar. Canonical conditional rewrite systems. In Proceedings of the Ninth Conference on Automated Deduction, pages 538\u2013549, Argonne, IL, May 1988. Vol. 310 of Lecture Notes in Computer Science, Springer, Berlin."},{"key":"20_CR7","first-page":"21","volume-title":"Machine Intelligence 11: The logic and acquisition of knowledge, chapter 2","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":"20_CR8","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":"20_CR9","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":"20_CR10","first-page":"318","volume-title":"Proceedings of the Fifth International Conference on Automated Deduction","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":"20_CR11","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0304-3975(89)90004-2","volume":"67","author":"J. H. Gallier","year":"1989","unstructured":"Jean H. Gallier and Wayne Snyder. Complete Sets of Transformations for General E-Unification. In Theoretical Computer Science 67 (1989) pages 203\u2013260, North-Holland.","journal-title":"Theoretical Computer Science"},{"key":"20_CR12","first-page":"245","volume-title":"Resolution of Equations in Algebraic Structures","author":"A. Martelli","year":"1989","unstructured":"A. Martelli, G. F. Rossi, and C. Moiso. Lazy unification algorithms for canonical rewrite systems. In H. Ait-Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures, pages 245\u2013274, Academic Press, New York, 1989."},{"key":"20_CR13","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":"20_CR14","first-page":"3","volume-title":"Logic Programming: Functions, Relations, and Equations","author":"U. S. Reddy","year":"1986","unstructured":"Uday S. Reddy. On the relationship between logic and functional languages. In D. DeGroot and G. Lindstrom, editors, Logic Programming: Functions, Relations, and Equations, pages 3\u201336, Prentice-Hall, Englewood Cliffs, NJ, 1986."},{"key":"20_CR15","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-17220-3_20"},{"key":"20_CR16","volume-title":"Proofs and Computations in Conditional Equational Theories","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."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53162-9_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:47Z","timestamp":1605648407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53162-9_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531623","9783540467380"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-53162-9_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}