{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:50Z","timestamp":1725663530911},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540192428"},{"type":"electronic","value":"9783540391661"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19242-5_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:05:14Z","timestamp":1330200314000},"page":"45-55","source":"Crossref","is-referenced-by-count":10,"title":["Solving goals in equational languages"],"prefix":"10.1007","author":[{"given":"Nachum","family":"Dershowitz","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,27]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"[Bosco,etal.-87] Bosco, P. G., Giovanetti, E., and Moiso, C. \u201cRefined strategies for semantic unification\u201d Proceedings of International Joint Conference on Theory and Practice of Software Development, Pisa, Italy (March 1987), pp. 276\u2013290. (Available as Vol. 250, Lecture Notes in Computer Science, Springer, Berlin.)","DOI":"10.1007\/BFb0014986"},{"key":"4_CR2","unstructured":"Dershowitz, N., and Plaisted, D. A. \u201cLogic programming cum applicative programming\u201d. Proceedings of the 1985 Symposium on Logic Programming, Boston, MA (July 1985), pp. 54\u201366."},{"key":"4_CR3","unstructured":"Dershowitz, N., and Plaisted, D. A. \u201cEquational programming\u201d. In: Machine Intelligence 11 (J. E. Hayes, D. Michie, and J. Richards, eds.), Oxford Press, Oxford, pp. 21\u201356, in press."},{"key":"4_CR4","unstructured":"Fay, M. \u201cFirst-order unification in an equational theory\u201d. Proceedings of the Fourth Workshop on Automated Deduction, Austin, TX (February 1979), pp. 161\u2013167."},{"key":"4_CR5","unstructured":"Fribourg, L. \u201cSlog: A logic programming language interpreter based on clausal superposition and rewriting\u201d. Proceedings of the 1985 Symposium on Logic Programming, Boston, MA (July 1985), pp. 172\u2013184."},{"key":"4_CR6","first-page":"295","volume-title":"Logic Programming: Functions, relations and equations","author":"J. A. Goguen","year":"1986","unstructured":"Goguen, J. A., and Meseguer, J. \u201cEqlog: Equality, types and generic modules for logic programming\u201d. In Logic Programming: Functions, relations and equations (D. DeGroot and G. Lindstrom, eds.), Prentice-Hall, Englewood Cliffs, NJ, pp. 295\u2013363, 1986."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Hullot, J. M. \u201cCanonical forms and unification\u201d. Proceedings of the Fifth Conference on Automated Deduction, Les Arcs, France (July 1980), pp. 318\u2013334.","DOI":"10.21236\/ADA087640"},{"key":"4_CR8","unstructured":"Josephson, N. A., and Dershowitz, N. \u201cAn implementation of narrowing: The Rite way\u201d. Proceedings of the Third IEEE Symposium on Logic Programming, Salt Lake City, UT (September 1986), pp. 187\u2013197. (Revised version to appear in Journal of Logic Programming.)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Kaplan, S. \u201cSimplifying conditional term rewriting systems: Unification, termination and confluence\u201d, Journal of Symbolic Computation, to appear.","DOI":"10.1016\/S0747-7171(87)80010-X"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"[Kapur,etal.-86] Kapur, D., Sivakumar, G. and Zhang, H., \u201cRRL: A Rewrite rule laboratory\u201d. 8th Intl. Conference on Automated Deduction, Oxford, England (July 1986). (Available as Vol. 230, Lecture Notes in Computer Science, Springer, Berlin.)","DOI":"10.1007\/3-540-16780-3_140"},{"key":"4_CR11","unstructured":"[Martelli,etal.-86] Martelli, A., Moiso, C. and Rossi, G. F. \u201cAn algorithm for unification in Equational Theories\u201d. Proceedings of the Third IEEE Symposium on Logic Programming, Salt Lake City, UT (September 1986), pp. 180\u2013186."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Padawitz, P. \u201cStrategy-controlled reduction and narrowing\u201d. Proceedings of the Second International Conference on Rewriting Techniques and Applications, Bordeaux, France (May 1987), pp. 242\u2013255.","DOI":"10.1007\/3-540-17220-3_21"},{"key":"4_CR13","unstructured":"Reddy, U. S. \u201cNarrowing as the operational semantics of functional languages\u201d. Proceedings of the 1985 Symposium on Logic Programming, Boston, MA (July 1985), pp. 138\u2013151."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"R\u00e9ty, P. \u201cImproving basic narrowing techniques\u201d. Proceedings of the Second International Conference on Rewriting Techniques and Applications, Bordeaux, France (May 1987), pp. 228\u2013241. (Available as Vol. 256, Lecture Notes in Computer Science, Springer, Berlin.)","DOI":"10.1007\/3-540-17220-3_20"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"[Rety,etal.-85] R\u00e9ty, P., Kirchner, C., Kirchner, H., and Lescanne, P. \u201cNarrower: A new algorithm for unification and its application to logic programming\u201d. Proceedings of the First International Conference on Rewriting Techniques and Applications, Dijon, France (May 1985), pp. 141\u2013157. (Available as Vol. 202, Lecture Notes in Computer Science, Springer, Berlin [September 1985].)","DOI":"10.1007\/3-540-15976-2_7"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19242-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:52Z","timestamp":1605644212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}