{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:29Z","timestamp":1725663689062},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_113","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:50:04Z","timestamp":1330210204000},"page":"371-382","source":"Crossref","is-referenced-by-count":4,"title":["Lazy evaluation in logic"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Antoy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Sergio Antoy. Design strategies for rewrite rules. In CTRS'90, Montreal, Canada, June 10\u201314 1990.","DOI":"10.1007\/3-540-54317-1_102"},{"key":"31_CR2","series-title":"Technical Report","volume-title":"Lazy evaluation in logic","author":"S. Antoy","year":"1990","unstructured":"Sergio Antoy. Lazy evaluation in logic. Technical Report 90-17, Rev. 1, Portland State University, Portland, OR, March 1990."},{"key":"31_CR3","volume-title":"Algebraic Specifications, chapter 5","author":"L. G. Bouma","year":"1989","unstructured":"L. G. Bouma and H. R. Walters. Implementing algebraic specifications. In J. A. Bergstra, J. Heering, and P. Klint, editors, Algebraic Specifications, chapter 5. Addison-Wesley, Workingham, England, 1989."},{"key":"31_CR4","unstructured":"Doug DeGroot and Gary Lindstrom, editors. Logic Programming: Functions, Relations, and Equations, Englewood Cliffs, NJ, 1986. Prentice-Hall."},{"key":"31_CR5","series-title":"Technical Report","volume-title":"Introducing OBJ3","author":"J. A. Goguen","year":"1988","unstructured":"Joseph A. Goguen and Timothy Winkler. Introducing OBJ3. Technical Report SRI-CSL-88-9, SRI International, Menlo Park, CA, 1988."},{"key":"31_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0015791","volume-title":"Foundation of Equational Logic Programming","author":"S. H\u00f6lldobler","year":"1989","unstructured":"S. H\u00f6lldobler. Foundation of Equational Logic Programming. Springer-Verlag, Berlin, 1989. Lect. Notes in Artificial Intelligence, Vol. 353."},{"key":"31_CR7","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/72551.72554","volume":"21","author":"P. Hudak","year":"1989","unstructured":"Paul Hudak. Conception, evolution, and application of functional programming languages. Computing Surveys, 21:359\u2013411, 1989.","journal-title":"Computing Surveys"},{"key":"31_CR8","series-title":"Technical Report","volume-title":"Call by need computations in non-ambiguous linear term rewriting systems","author":"G. Huet","year":"1979","unstructured":"G\u00e9rard Huet and Jean-Jacques L\u00e9vy. Call by need computations in non-ambiguous linear term rewriting systems. Technical Report 359, INRIA, Le Chesnay, France, 1979."},{"key":"31_CR9","series-title":"Technical Report","volume-title":"Sequentiality in orthogonal term rewriting systems","author":"J. W. Klop","year":"1989","unstructured":"Jan Willem Klop and Aart Middledorp. Sequentiality in orthogonal term rewriting systems. Technical Report CS-R8932, Stichting Mathematisch Centrum, Amsterdam, 1989."},{"key":"31_CR10","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0743-1066(86)90016-6","volume":"3","author":"S. Narain","year":"1986","unstructured":"Sanjai Narain. A technique for doing lazy evaluation in logic. The Journal of Logic Programming, 3:259\u2013276, 1986.","journal-title":"The Journal of Logic Programming"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Michael J. O'Donnell. Computing in systems described by equations. Springer-Verlag, 1977. Lect. Notes in Comp. Sci., Vol. 58.","DOI":"10.1007\/3-540-08531-9"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Michael J. O'Donnell. Equational Logic as a Programming Language. MIT Press, 1985.","DOI":"10.1007\/3-540-15648-8_20"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"H. Petzsch. Automatic prototyping of algebraic specifications using Prolog. In Recent Trends in Data Type Specification, pages 207\u2013223. 3rd Workshop on Theory and Applications of Abstract Data Types, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-662-09691-8_16"},{"key":"31_CR14","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Leon Sterling and Ehud Shapiro. The Art of Prolog. The MIT Press, Cambridge, MA, 1986."},{"key":"31_CR15","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0743-1066(87)90006-9","volume":"4","author":"M. H. Emden van","year":"1987","unstructured":"Maarten H. van Emden and Keitaro Yukawa. Logic programming with equations. The Journal of Logic Programming, 4:265\u2013288, 1987.","journal-title":"The Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_113.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:33Z","timestamp":1605646473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_113","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}