{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:38Z","timestamp":1725664298207},"publisher-location":"Berlin, Heidelberg","reference-count":3,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601173"},{"type":"electronic","value":"9783540494454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60117-1_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:43:30Z","timestamp":1330278210000},"page":"1-1","source":"Crossref","is-referenced-by-count":0,"title":["Towards automatic parallelization of logic programs"],"prefix":"10.1007","author":[{"given":"Krzysztof R.","family":"Apt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"1_CR1","series-title":"Invited Lecture","volume-title":"Lecture Notes in Computer Science","author":"K. R. Apt","year":"1995","unstructured":"K. R. Apt and I. Luitjes. Verification of logic programs with delay declarations. In Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology, (AMAST'95), Lecture Notes in Computer Science, Berlin, 1995. Springer-Verlag. Invited Lecture. In press."},{"key":"1_CR2","unstructured":"L. Naish. An Introduction to MU-PROLOG. Technical Report TR 82\/2, Dept. of Computer Science, Univ. of Melbourne, 1982."},{"key":"1_CR3","unstructured":"L. Naish. Parallelizing NU-Prolog. In Proceedings of the Fifth Annual Symposium on Logic in Computer Science, pages 1546\u20131564. The MIT Press, 1988."}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60117-1_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:52Z","timestamp":1619573512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60117-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601173","9783540494454"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/3-540-60117-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}