{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:30Z","timestamp":1725456330471},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055498X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013607","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:35:56Z","timestamp":1132727756000},"page":"163-179","source":"Crossref","is-referenced-by-count":1,"title":["An overview of the Andorra Kernel Language"],"prefix":"10.1007","author":[{"given":"Torkel","family":"Franz\u00e9n","sequence":"first","affiliation":[]},{"given":"Seif","family":"Haridi","sequence":"additional","affiliation":[]},{"given":"Sverker","family":"Janson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Reem Bahgat and Steve Gregory. Pandora: Non-deterministic parallel logic programming. In Proceedings of ICLP'89. MIT Press, 1989."},{"key":"6_CR2","unstructured":"Francisco Bueno and Manuel Hermenegildo. An automatic translation scheme from Prolog to the Andorra Kernel Language. PEPMA Internal Report, March 1991."},{"key":"6_CR3","unstructured":"Vitor Santos Costa, David H. D. Warren, and Rong Yang. The Andorra-I engine: A parallel implementation of the Basic Andorra model. In Proceedings of ICLP'91. MIT Press, 1991."},{"key":"6_CR4","unstructured":"Torkel Franz\u00e9n. Logical aspects of the Andorra Kernel Language. SICS Research Report R91:12, Swedish Institute of Computer Science, 1991."},{"key":"6_CR5","unstructured":"Seif Haridi and Per Brand. Andorra Prolog, an integration of Prolog and committed choice languages. In Proceedings of FGCS'88, 1988."},{"key":"6_CR6","unstructured":"Seif Haridi and Sverker Janson. Kernel Andorra Prolog and its computation model. In Proceedings of ICLP'90. MIT Press, 1990."},{"key":"6_CR7","unstructured":"Sverker Janson and Seif Haridi. Programming paradigms of the Andorra Kernel Language. In Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991. (Revised version of SICS Research Report R91:08, to be published)."},{"key":"6_CR8","unstructured":"Michael J. Maher. Logic semantics for a class of committed choice programs. In Proceedings of the Fourth International Conference on Logic Programming. MIT Press, 1987."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Vijay A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1990.","DOI":"10.1145\/96709.96733"},{"key":"6_CR10","unstructured":"Kazunori Ueda. Guarded horn clauses. Technical Report TR-103, ICOT, June 1985."},{"key":"6_CR11","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"6_CR12","unstructured":"Rong Yang. Solving simple substitution ciphers in Andorra-I. In Proceedings of the Sixth International Conference on Logic Programming. MIT Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013607","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:27:55Z","timestamp":1586579275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013607"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055498X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0013607","relation":{},"subject":[]}}