{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:40:10Z","timestamp":1736106010394,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026831","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"380-396","source":"Crossref","is-referenced-by-count":0,"title":["The notion of floundering for SLDNF-resolution revisited"],"prefix":"10.1007","author":[{"given":"Jean-Hugues","family":"R\u00e9ty","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"23_CR1","unstructured":"K. R. Apt, R. Bol. Logic Programming and Negation: A Survey. To appear in Journal of Logic Programming."},{"issue":"3","key":"23_CR2","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","volume":"29","author":"K. R. Apt","year":"1991","unstructured":"K. R. Apt, M. Bezem. Acyclic programs. New generation computing, 29(3) pages 335\u2013363, 1991.","journal-title":"New generation computing"},{"key":"23_CR3","unstructured":"K. R. Apt, K. Doets. A new definition of SLDNF-Resolution. Report CS-R9242, CWI, 1992."},{"key":"23_CR4","first-page":"265","volume-title":"Lecture notes in Computer Science 526","author":"K. R. Apt","year":"1991","unstructured":"K. R. Apt, D. Pedreschi. Proving termination of general Prolog programs. In T. Ito and A. Meyer editors, Proceedings of the International Conference on Theoretical Aspects of Computer Software, Lecture notes in Computer Science 526, pages 265\u2013289, Berlin, 1991. Springer-Verlag."},{"key":"23_CR5","unstructured":"M. Berg\u00e8re, G. Ferrand, J-H. R\u00e9ty. Independence of the Computation R for SLD-Resolution with Delay. Research Report LIFO 93-9, Orl\u00e9ans, 1993."},{"issue":"2","key":"23_CR6","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1142\/S0129054190000126","volume":"1","author":"R. Barbuti","year":"1990","unstructured":"R. Barbuti, M. Martelli. Recognizing non-floundering logic programs and goals. International Journal on Foundations of Computer Science, 1(2) pages 151\u2013163, 1990.","journal-title":"International Journal on Foundations of Computer Science"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Falaschi, K. Mariott, W. Winsborough. Efficient Analysis of Concurrent Constraint Logic Programs. proceedings of ICALP'93, pages 633\u2013644, 1993.","DOI":"10.1007\/3-540-56939-1_108"},{"key":"23_CR8","volume-title":"Research Report DOC 79\/59","author":"K. L. Clark","year":"1979","unstructured":"K. L. Clark. Predicate logic as a computational formalism. Research Report DOC 79\/59, Imperial college, Dept. of computing, London, 1979."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"P. Deransart, J. Maluszinski. A Grammatical View of Logic Programming. MIT Press, 1993.","DOI":"10.7551\/mitpress\/3345.001.0001"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"K. Doets. From Logic to Logic Programming. MIT Press, 1994.","DOI":"10.7551\/mitpress\/3133.001.0001"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"W. Drabent. Completeness of SLDNF-Resolution for Non-Floundering Queries. Draft, 1994.","DOI":"10.7551\/mitpress\/4307.003.0009"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen. Negation in Logic Programming. Journal of Logic Programming, 4, pp. 289\u2013308, 1987.","journal-title":"Journal of Logic Programming"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, 2nd ed., 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"23_CR14","volume-title":"Logic programming and Prolog","author":"J. Maluszynski","year":"1990","unstructured":"J. Maluszynski, U. Nilsonn. Logic programming and Prolog. Wiley, New-York, 1990."},{"key":"23_CR15","first-page":"661","volume-title":"Proc. NACLP","author":"K. Marriott","year":"1990","unstructured":"K. Marriott, H. Sondergaard, P. Dart. A characterization of non-floundering logic programs, in Debray and Hermenegildo ed., Proc. NACLP, pages 661\u2013680, Austin 1990, MIT Press 1990."},{"key":"23_CR16","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0020-0190(92)90012-K","volume":"43","author":"M. Martelli","year":"1992","unstructured":"M. Martelli, C. Tricomi. A new SLDNF-tree. Information Processing Letters 43 (1992) pages 57\u201362.","journal-title":"Information Processing Letters"},{"issue":"1","key":"23_CR17","first-page":"181","volume":"15","author":"L. Naish","year":"1993","unstructured":"L. Naish. Coroutining and the Construction of terminating logic programs. Australian Computer Science Communications, 15(1), pp. 181\u2013190, 1993.","journal-title":"Australian Computer Science Communications"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:12:17Z","timestamp":1736104337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026831"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0026831","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}