{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:43Z","timestamp":1725487663780},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657651"},{"type":"electronic","value":"9783540489580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_22","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T22:11:42Z","timestamp":1185142302000},"page":"322-324","source":"Crossref","is-referenced-by-count":0,"title":["An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs"],"prefix":"10.1007","author":[{"given":"David A.","family":"Rosenblueth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"22_CR1","series-title":"Lect Notes Comput Sci","first-page":"224","volume-title":"Proceedings of the 1987 Symposium on Logic Programming","author":"A. Okumura","year":"1987","unstructured":"Akira Okumura and Yuji Matsumoto. Parallel programming with layered streams. In Proceedings of the 1987 Symposium on Logic Programming, pages 224\u2013231, San Francisco, California, U.S.A., 1987. Lecture Notes in Computer Science 348."},{"key":"22_CR2","unstructured":"H. Tamaki. Stream-based compilation of ground I\/O Prolog into committed-choice languages. In Proceedings of the Fourth International Conference on Logic Programming, pages 376\u2013393, Melbourne, Australia, 1987."},{"key":"22_CR3","unstructured":"Evan Tick. Parallel Logic Programming. MIT Press, 1991."},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF03037456","volume":"5","author":"K. Ueda","year":"1987","unstructured":"Kazunori Ueda. Making exhaustive search programs deterministic. New Generation Computing, 5:29\u201344, 1987.","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48958-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T05:00:02Z","timestamp":1550466002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}