{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:23:52Z","timestamp":1726406632034},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508205"},{"type":"electronic","value":"9783540460923"}],"license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50820-1_40","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:33:47Z","timestamp":1330202027000},"page":"58-67","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A tool to check the non-floundering logic programs and goals"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Barbuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"4_CR1","unstructured":"Apt K.R. Introduction to Logic Programming. To appear in: Handbook of Theoretical Computer Science (J. van Leeuwen Ed.), North Holland."},{"key":"4_CR2","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. R. Apt","year":"1987","unstructured":"Apt K.R. Blair H.A. and Walker A. Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming (J. Minker Ed.), Morgan Kaufman, Los Altos, 1987."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Barbuti R. and Martelli M. Completeness of the SLDNF-resolution for a Class of Logic Programs. Third Int. Conf. on Logic Programming, London, 1986, 600\u2013614.","DOI":"10.1007\/3-540-16492-8_109"},{"key":"4_CR4","unstructured":"Barbuti R. and Martelli M. A characterization of non-floundering logic programs and goals based on abstract interpretation techniques. Submitted for publication."},{"key":"4_CR5","unstructured":"Bruynooghe M., Janssens G., Callebaut, A. and Demoen B. Abstract Interpretation: Towards the Global Optimization of Prolog Programs. 4th Int. Symp. on Logic Programming, San Francisco, 1987, 192\u2013204."},{"key":"4_CR6","unstructured":"Cavedon L. and Lloyd J.W. A Completeness Theorem for SLDNF-resolution. Report CS-87-06 University of Bristol, 1987."},{"key":"4_CR7","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. Logic and Data Bases. (H. Gallaire and J. Minker Eds.), Plenum Press, New York, 1978, 293\u2013322."},{"key":"4_CR8","unstructured":"Debray S.K. and Warren D.S. Automatic Mode Inference for Prolog Programs. Third Int. Symp. on Logic Programming, Salt Lake City, 1986, 78\u201388."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Debray S.K. Efficient Dataflow Analysis of Logic Programs. Fifteenth ACM Symp. on Principles of Programming Languages, San Diego, 1988, 260\u2013273.","DOI":"10.1145\/73560.73583"},{"key":"4_CR10","unstructured":"Deransart P. and Maluszynski J. Modelling Data Dependencies in Logic Programming by Attribute Schemata. INRIA Internal Report, 1984."},{"key":"4_CR11","unstructured":"Jaffar J. Lassez J-L. and Lloyd J.W. Completeness of the Negation as Failure Rule. IJCAI 83, Karlsruhe, 1983, 500\u2013506."},{"issue":"4","key":"4_CR12","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kunen K. Negation in Logic Programming. J. Logic Programming 4, 4 (1987), 289\u2013308.","journal-title":"J. Logic Programming"},{"key":"4_CR13","unstructured":"Kunen K. Signed Data Dependencies in Logic Programs. University of Wisconsin. To appear."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Lloyd J.W. Foundations of Logic Programming. Second Edition, Springer-Verlag, Symbolic Computation Series, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"1","key":"4_CR15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J. W. Lloyd","year":"1986","unstructured":"Lloyd J.W. and Topor R.W. A Basis for Deductive Database Systems II. J. Logic Programming 3, 1 (1986), 55\u201367.","journal-title":"J. Logic Programming"},{"key":"4_CR16","unstructured":"Mannila H. and Ukkonen E. Flow Analysis of Prolog Programs. 4th Int. Symp. on Logic Programming, San Francisco, 1987, 205\u2013214."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Mellish C.S. Abstract Interpretation of Prolog Programs. Third Int. Conf. on Logic Programming, London, 1986, 463\u2013474.","DOI":"10.1007\/3-540-16492-8_95"},{"key":"4_CR18","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J. C. Shepherdson","year":"1987","unstructured":"Shepherdson J.C. Negation in Logic Programming. Foundations of Deductive Databases and Logic Programming (J. Minker Ed.), Morgan Kaufman, Los Altos, 1987."}],"container-title":["Lecture Notes in Computer Science","Programming Languages Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50820-1_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:41:37Z","timestamp":1640918497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}