{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:49Z","timestamp":1725663409502},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160786"},{"type":"electronic","value":"9783540397588"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16078-7_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:38:09Z","timestamp":1330177089000},"page":"60-72","source":"Crossref","is-referenced-by-count":3,"title":["Ions and local definitions in logic programming"],"prefix":"10.1007","author":[{"given":"M. A.","family":"Nait Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"5_CR1","unstructured":"Bowen K.A. and Kowalski R.A.: Amalgamating language and metalanguage, in Logic Programming, K.L. Clark and T.-S. Taernlund ed, Academic Press (1982), pp 153\u2013172"},{"key":"5_CR2","unstructured":"Clark K.L.: Logic as a computational formalism, Research monograph 79\/59 DOC, Imperial College (1979)."},{"issue":"4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden M.H. and Kowalski R.: The semantics of predicate logic as a programming language, JACM 23, 4 (1976), pp. 733\u2013742","journal-title":"JACM"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0743-1066(85)90005-6","volume":"1","author":"M.H. Emden van","year":"1985","unstructured":"van Emden M.H. and Nait Abdallah M.-A.: Top-down semantics of fair derivations in logic programs, Journal of Logic Programming (1985), 1 pp 67\u201375","journal-title":"Journal of Logic Programming"},{"key":"5_CR5","volume-title":"Logic for problem solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski R.: Logic for problem solving, Elsevier North Holland, New York (1979)."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M.-A.: On the interpretation of infinite computations in logic programming, Springer LNCS # 172, pp 358\u2013370 (1984)","DOI":"10.1007\/3-540-13345-3_32"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson J.A.: A machine-oriented logic based on the resolution principle, JACM 12, 1 (1965), pp 23\u201341","journal-title":"JACM"},{"key":"5_CR8","unstructured":"Sacerdoti et al.: QLISP, a language for the interactive development of complex systems, SRI AI Center, Technical Note 120 (1976)"}],"container-title":["Lecture Notes in Computer Science","STACS 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16078-7_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:09:50Z","timestamp":1605625790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16078-7_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540160786","9783540397588"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-16078-7_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}