{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:26:21Z","timestamp":1726406781946},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617358"},{"type":"electronic","value":"9783540706724"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61735-3_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:17:56Z","timestamp":1330276676000},"page":"47-61","source":"Crossref","is-referenced-by-count":0,"title":["Independence in dynamically scheduled logic languages"],"prefix":"10.1007","author":[{"given":"Mar\u00eda Garc\u00eda","family":"Banda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"12","key":"3_CR1","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1002\/spe.4380231204","volume":"23","author":"S. K. Debray","year":"1993","unstructured":"S. K. Debray. QD-Janus: A Sequential Implementation of Janus in Prolog. Software\u2014Practice and Experience, 23(12):1337\u20131360, December 1993.","journal-title":"Software\u2014Practice and Experience"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo et al. Some Methodological Issues in the Design of CIAO \u2014 A Generic, Parallel, Concurrent Constraint System. In Principles and Practice of Constraint Programming, LNCS 874, pages 123\u2013133. Springer-Verlag, May 1994.","DOI":"10.1007\/3-540-58601-6_95"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"M. Garc\u00eda de la Banda, F. Bueno, and M. Hermenegildo. Towards independent And-Parallelism in CLP. In International Symposium on Programming Language Implementation and Logic Programming, PLILP'96, LNCS. Springer Verlag, September 1996.","DOI":"10.1007\/3-540-61756-6_78"},{"key":"3_CR4","first-page":"130","volume-title":"Independence in Constraint Logic Programs","author":"M. G. Banda de la","year":"1993","unstructured":"M. Garc\u00eda de la Banda, M. Hermenegildo, and K. Marriott. Independence in Constraint Logic Programs. In 1993 International Logic Programming Symposium, pages 130\u2013146. MIT Press, Cambridge, MA, October 1993."},{"key":"3_CR5","volume-title":"Efficient Analysis of Constraint Logic Programs with Dynamic Scheduling","author":"M. G. Banda de la","year":"1995","unstructured":"M. Garc\u00eda de la Banda, K. Marriott, and P. Stuckey. Efficient Analysis of Constraint Logic Programs with Dynamic Scheduling. In 1995 International Logic Programming Symposium, Portland, Oregon, December 1995. MIT Press, Cambridge, MA."},{"key":"3_CR6","unstructured":"S. Haridi and S. Janson. Kernel Andorra Prolog and its Computation Model. In Proceedings of the Seventh International Conference on Logic Programming, pages 31\u201346. MIT Press, June 1990."},{"issue":"1","key":"3_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(93)00007-F","volume":"22","author":"M. Hermenegildo","year":"1995","unstructured":"M. Hermenegildo and F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Journal of Logic Programming, 22(1):1\u201345, 1995.","journal-title":"Journal of Logic Programming"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In ACM Symp. Principles of Programming Languages, pages 111\u2013119. ACM, 1987.","DOI":"10.1145\/41625.41635"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"K. Marriott, M. Garc\u00eda de la Banda, and M. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling. In 20th. Annual ACM Conf. on Principles of Programming Languages, pages 240\u2013254. ACM, January 1994.","DOI":"10.1145\/174675.177883"},{"key":"3_CR10","unstructured":"L. M. Pereira and A. Porto. Selective backtracking. In Logic Programming, pages 107\u2013114. Academic Press, 1982."},{"key":"3_CR11","volume-title":"Technical Report CMU-CS-87-174","author":"V. Saraswat","year":"1987","unstructured":"V. Saraswat. Compiling CP() on top of Prolog. Technical Report CMU-CS-87-174, Computer Science Department, Carnegie-Mellon University, Pittsburgh, October 1987."},{"key":"3_CR12","first-page":"119","volume-title":"A compiler for concurrent prolog","author":"K. Ueda","year":"1985","unstructured":"K. Ueda and T. Chikiyama. A compiler for concurrent prolog. In Second International Symposium on Logic Programming, pages 119\u2013126, Boston, July (1985). IEEE Press."},{"issue":"3\u20134","key":"3_CR13","first-page":"110","volume":"8","author":"D.H.D. Warren","year":"1982","unstructured":"D.H.D. Warren and F. C. N. Pereira. An Efficient, Easily Adaptable System For Interpreting Natural Language Queries. American Journal of Computational Linguistics, 8(3\u20134):110\u2013122, 1982.","journal-title":"American Journal of Computational Linguistics"}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61735-3_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:58Z","timestamp":1605629398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61735-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617358","9783540706724"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61735-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}