{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:07:59Z","timestamp":1725890879041},"publisher-location":"London","reference-count":10,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_3","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T06:49:46Z","timestamp":1356850186000},"page":"30-45","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of Narrowing Programs"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Lor\u00eda-S\u00e1enz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(86)90014-2","volume":"3","author":"M Bellia","year":"1986","unstructured":"M. Bellia and G. Levi. The Relation between Logic and Functional Languages. A survey. J. of Logic Programming, 3: 217\u2013236, 1986.","journal-title":"J. of Logic Programming"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0743-1066(89)90033-2","volume":"5","author":"M Bruynooge","year":"1989","unstructured":"M. Bruynooge, D. De Schreye, and B. Krekels. Compiling Control. J. of Logic Programming, 5: 135\u2013162, 1989.","journal-title":"J. of Logic Programming"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0304-3975(90)90064-O","volume":"75","author":"N Dershowitz","year":"1990","unstructured":"N. Dershowitz and M. Okada. A Rationale for Conditional Equational Programming. Theo. Comp. Sci, 75: 111\u2013138, 1990.","journal-title":"Comp. Sci"},{"key":"3_CR4","first-page":"683","volume-title":"7th Intl. Conf. and Symp. on Logic Programming","author":"L Fribourg","year":"1990","unstructured":"L. Fribourg. Extracting Logic Programs from Proofs that use Extended Prolog and Induction. In 7th Intl. Conf. and Symp. on Logic Programming, pages 683\u2013699, 1990."},{"key":"3_CR5","volume-title":"Lncs 353 Springer","author":"S H\u00f6lldobler","year":"1989","unstructured":"S. H\u00f6lldobler. Foundations of Equational Logic Programming. LNCS 353 Springer, 1989."},{"key":"3_CR6","volume-title":"CADE, pages 318-334. LNCS 306 Springer","author":"J Hullot","year":"1980","unstructured":"J. Hullot. Canonical Forms and Unification. In CADE, pages 318\u2013334. LNCS 306 Springer, 1980."},{"key":"3_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming. Springer","author":"JW Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer, 2 edition, 1987."},{"key":"3_CR8","volume-title":"Kaiserslautern (Germany)","author":"C Lor\u00eda-S\u00e2enz","year":"1992","unstructured":"C. Lor\u00eda S\u00e2enz. Synthese von Narrowingprogrammen (in German). Technical report, Uni. Kaiserslautern (Germany), 1992."},{"key":"3_CR9","unstructured":"U.S. Reddy. On the Relation between Logic and Functional Languages. In DeGroot\/Lindstrom, editor, Logic Programming. Functions, Relations and Equations, pages 3\u201336. Prentice-Hall, 1986."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(89)90012-5","volume":"7","author":"D Schreye","year":"1989","unstructured":"D. De Schreye and M. Bruynooge. On the Transformation of Logic Programs with Instantiation Based Computation Rules. J. of Logic Programming, 7: 125\u2013154, 1989.","journal-title":"J. of Logic Programming"}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T02:56:50Z","timestamp":1557457010000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_3","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}