{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:18Z","timestamp":1725663678906},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_38","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:51:28Z","timestamp":1330203088000},"page":"133-150","source":"Crossref","is-referenced-by-count":11,"title":["Pruning and scheduling speculative work in or-parallel Prolog"],"prefix":"10.1007","author":[{"given":"Bogumil","family":"Hausman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"10_CR1","unstructured":"Ralph Butler, Terry Disz, E. L. Lusk, Robert Olson, Ross Overbeek and Rick Stevens. Scheduling Or-Parallelism: an Argonne Perspective. In Proceedings of the Fifth International Logic Programming Conference and Fifth Symposium on Logic Programming 1988, MIT Press, August 1988."},{"key":"10_CR2","unstructured":"Alan Calderwood. Aurora-the Manchester Scheduler. Internal Report, Gigalips Project, May 1988."},{"key":"10_CR3","unstructured":"Mats Carlsson. Internals of Sicstus Prolog Version 0.6. Internal Report, Gigalips Project, November 1987."},{"key":"10_CR4","unstructured":"Bogumil Hausman. Side-Effects Predicates in Or-Parallel Execution Model of Parallel Prolog. SICS, Working Paper, January 1988."},{"key":"10_CR5","unstructured":"Bogumil Hausman, Andrzej Ciepielewski and Alan Calderwood. Cut and Side-Effects in Or-Parallel Prolog. In Proceedings of International Conference on Fifth Generation Computer Systems 1988, pages 831\u2013840, ICOT, November 1988."},{"key":"10_CR6","unstructured":"Bogumil Hausman, Andrzej Ciepielewski and Seif Haridi. Or-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. In Proceedings of the 1987 Symposium on Logic Programming, pages 69\u201379, 1987."},{"key":"10_CR7","unstructured":"Ewing Lusk, David H. D. Warren, Seif Haridi, Ralph Butler, Alan Calderwood, Terrence Disz, Robert Olson, Ross Overbeek, Rick Stevens, Peter Szeredi, Per Brand, Mats Carlsson, Andrzej Ciepielewski and Bogumil Hausman. The Aurora Or-Parallel Prolog System. In Proceedings of International Conference on Fifth Generation Computer Systems 1988, pages 819\u2013830, ICOT, November 1988."},{"key":"10_CR8","unstructured":"David H. D. Warren. Scheduling Speculative Work in Or-Parallel Prolog. Personal communication, September 1988."}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:02:26Z","timestamp":1619571746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}