{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:41Z","timestamp":1725663041975},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164920"},{"type":"electronic","value":"9783540398318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16492-8_109","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:49:45Z","timestamp":1330195785000},"page":"600-614","source":"Crossref","is-referenced-by-count":14,"title":["Completeness of the SLDNF-resolution for a class of logic programs"],"prefix":"10.1007","author":[{"given":"R.","family":"Barbuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"49_CR1","unstructured":"Apt, K.R., Blair, H. and Walker, A. Towards a Theory of Declarative Knowledge. IBM Internal Report, Yorktown Heights, (1985)."},{"key":"49_CR2","unstructured":"Aquilano, C., Barbuti, R., Bocchetti, P. and Martelli M. Negation as Failure: Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. To appear in the Journal of Automated Reasoning."},{"key":"49_CR3","unstructured":"Asirelli, P., Barbuti, R. and Levi, G. Types and Declarative Static Type Checking in Logic Programming. Proc. Programming '84, Primorsko, Bulgary, (1984)."},{"issue":"3","key":"49_CR4","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0743-1066(85)90020-2","volume":"2","author":"P. Asirelli","year":"1985","unstructured":"Asirelli, P., De Santis, M. and Martelli M. Integrity Constraints in Logic Databases. Journal of Logic Programming 2, 3 (1985) 221\u2013232.","journal-title":"Journal of Logic Programming"},{"key":"49_CR5","unstructured":"Barbuti, R. and Martelli, M. Programming in a Generally Functional Style to Design Logic Data Bases. Internal Report of CASE Center, Syracuse University, (1986)."},{"key":"49_CR6","doi-asserted-by":"crossref","unstructured":"Barbuti,R. and Martelli,M. Completeness of SLDNF-resolution for Structured Programs. (1985), Submitted for publicaton.","DOI":"10.1007\/3-540-16492-8_109"},{"issue":"1","key":"49_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","volume":"2","author":"A.K. Chandra","year":"1985","unstructured":"Chandra, A.K. and Harel D. Horn Clause Queries and Generalizations. Journal of Logic Programming 2, 1 (1985) 1\u201315.","journal-title":"Journal of Logic Programming"},{"key":"49_CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L. Negation as Failure. in Logic and Data Bases, (Gallaire, H. and Minker, J. Eds), Plenum, New York, (1978) 293\u2013322"},{"key":"49_CR9","unstructured":"Jaffar, J., Lassez, J-L. and Lloyd, J.W. Completeness of the Negation-as-Failure Rule. Proc. 8th IJCAI, Karlsruhe, (1983) 500\u2013506."},{"key":"49_CR10","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W. Foundations of Logic Programming. Springer-Verlag, Symbolic Computation Series, (1984).","DOI":"10.1007\/978-3-642-96826-6"},{"issue":"2","key":"49_CR11","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J.W. Lloyd","year":"1985","unstructured":"Lloyd, J.W. and Topor, R.W. A Basis for Deductive Data Base Systems. Journal of Logic Programming 2, 2, (1985) 93\u2013109.","journal-title":"Journal of Logic Programming"},{"key":"49_CR12","unstructured":"Lloyd, J.W. and Topor, R.W. A Basis for Deductive Data Base Systems II. Techn. Rep. 85\/6, Dept. of Comp. Science, Univ. of Melbourne, (1985)."},{"key":"49_CR13","unstructured":"Mycroft, A. and O'Keefe, R. A Polymorphic Type System for PROLOG. Proc. Logic Programming Workshop, Portugal, (1983) 107\u2013122."},{"key":"49_CR14","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R. On Closed World Data Bases. in Logic and Data Bases, (Gallaire, H. and Minker, J. Eds), Plenum, New York, (1978) 55\u201376."},{"issue":"1","key":"49_CR15","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0743-1066(84)90023-2","volume":"1","author":"J.C. Shepherdson","year":"1984","unstructured":"Shepherdson, J.C. Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption. Journal of Logic Programming 1, 1, (1984) 51\u201379.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"49_CR16","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(85)90018-4","volume":"2","author":"J.C. Shepherdson","year":"1985","unstructured":"Shepherdson, J.C. Negation as Failure II Journal of Logic Programming 2, 3, (1985) 185\u2013202.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Third International Conference on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16492-8_109.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:35Z","timestamp":1605643835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16492-8_109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164920","9783540398318"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-16492-8_109","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}