{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:58Z","timestamp":1725664978337},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61756-6_106","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:21:13Z","timestamp":1330294873000},"page":"473-474","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Needed narrowing in Prolog"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"34_CR1","first-page":"143","volume":"632","author":"S. Antoy","year":"1992","unstructured":"S. Antoy. Definitional trees. In Proc. of the 4th Intl. Conf. on Algebraic and Logic programming, pages 143\u2013157. Springer LNCS 632, 1992.","journal-title":"Springer LNCS"},{"key":"34_CR2","volume-title":"Technical report TR 96-2","author":"S. Antoy","year":"1996","unstructured":"S. Antoy. Needed narrowing in Prolog. Technical report TR 96-2, Portland State University, Portland, OR, May 1996. Full version of this abstract accessible via http:\/\/www.cs.pdx.edu\/\u223cantoy."},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Proc. 21st ACM Symposium on Principles of Programming Languages, pages 268\u2013279, Portland, 1994.","DOI":"10.1145\/174675.177899"},{"key":"34_CR4","unstructured":"B. J. Barry. Needed narrowing as the computational strategy of evaluable functions in an extension of G\u00f6del. Master's thesis, Portland State University, June 1996."},{"key":"34_CR5","first-page":"252","volume":"1048","author":"M. Hanus","year":"1995","unstructured":"M. Hanus. Efficient translation of lazy functional logic programs into Prolog. In Proc. Fifth International Workshop on Logic Program Synthesis and Transformation, pages 252\u2013266. Springer LNCS 1048, 1995.","journal-title":"Springer LNCS"},{"key":"34_CR6","unstructured":"P. M. Hill and J. W. Lloyd. The G\u00f6del Programming Language. MIT Press, 1993."},{"key":"34_CR7","first-page":"184","volume":"714","author":"R. Loogen","year":"1993","unstructured":"R. Loogen, F. J. L\u00f3pez-Fraguas, and M. Rodr\u00edguez-Artalejo. A demand driven computation strategy for lazy narrowing. In PLILP'93, pages 184\u2013200, Tallinn, Estonia, August 1993. Springer LNCS 714.","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T00:21:09Z","timestamp":1578529269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_106"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_106","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}