{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:16:10Z","timestamp":1725455770739},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026838","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"457-458","source":"Crossref","is-referenced-by-count":0,"title":["An expression-or-parallel implementation for a functional logic language"],"prefix":"10.1007","author":[{"given":"W.","family":"Hans","sequence":"first","affiliation":[]},{"given":"F.","family":"S\u00e1enz","sequence":"additional","affiliation":[]},{"given":"St.","family":"Winkler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"30_CR1","unstructured":"K. A. M. Ali and R. Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In North American Conference on Logic Programming, pages 757\u2013776. MIT Press, 1990."},{"key":"30_CR2","unstructured":"L. Araujo and J.J. Ruz. PDP: Prolog Distributed Processor for Independent AND\/OR Parallel Execution of Prolog. In International Conference on Logic Programming (ICLP'94), pages 142\u2013156. The MIT Press, 1994."},{"key":"30_CR3","volume-title":"PhD thesis","author":"M.V. Hermenegildo","year":"1986","unstructured":"M.V. Hermenegildo. An Abstract Machine based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. PhD thesis, The University of Texas at Austin, 1986."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"J.J. Moreno-Navarro and M. Rodr\u00edguez-Artalejo. BABEL: A Functional and Logic Programming Language Based on a Constructor Discipline and Narrowing. In Conference on Algebraic and Logic Programming, LNCS 343, pages 223\u2013232. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-50667-5_74"},{"key":"30_CR5","unstructured":"B. Ramkumar and L. Kale. Compiled Execution of the Reduce-Or Process Model on Multiprocessors. In North American Conference on Logic Programming, pages 313\u2013331. MIT Press, 1989."},{"key":"30_CR6","unstructured":"A. Verden and H. Glaser. An AND-Parallel Distributed Prolog Executor. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, Series in Parallel Computing, chapter 7, pages 143\u2013158. Wiley, 1992."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026838","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,6]],"date-time":"2019-04-06T14:35:44Z","timestamp":1554561344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026838"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0026838","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}