{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:52Z","timestamp":1725455932291},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018437","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:30:30Z","timestamp":1132619430000},"page":"121-138","source":"Crossref","is-referenced-by-count":1,"title":["Loop checking and negation"],"prefix":"10.1007","author":[{"given":"Roland N.","family":"Bol","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"8_CR1","first-page":"353","volume-title":"Proceedings of the Sixth International Conference on Logic Programming","author":"K.R. Apt","year":"1989","unstructured":"K.R. Apt, R.N. Bol and J.W. Klop, On the Safe Termination of PROLOG Programs, in: Proceedings of the Sixth International Conference on Logic Programming, (G. Levi and M. Martelli eds.), MIT Press, Cambridge Massachusetts, 1989, 353\u2013368."},{"key":"8_CR2","first-page":"89","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K.R. Apt","year":"1987","unstructured":"K.R. Apt, H. Blair and A. Walker, Towards a Theory of Declarative Knowledge, in: Foundations of Deductive Databases and Logic Programming (J. Minker ed.), Morgan Kaufmann Publishers, Los Altos, 1987, 89\u2013148."},{"key":"8_CR3","unstructured":"Ph. Besnard, On Infinite Loops in Logic Programming, Internal Report 488, IRISA, Rennes, 1989."},{"key":"8_CR4","unstructured":"R.N. Bol, K.R. Apt and J.W. Klop, An Analysis of Loop Checking Mechanisms for Logic Programs, Technical Report CS-R8942, Centre for Mathematics and Computer Science, Amsterdam; Technical Report TR-89-32, University of Texas at Austin, 1989. To appear in Theoretical Computer Science."},{"key":"8_CR5","series-title":"Technical Report","volume-title":"Generalizing Completeness Results for Loop Checks","author":"R.N. Bol","year":"1990","unstructured":"R.N. Bol, Generalizing Completeness Results for Loop Checks, Technical Report CS-R9025, Centre for Mathematics and Computer Science, Amsterdam, 1990."},{"key":"8_CR6","unstructured":"D.R. Brough and A. Walker, Some Practical Properties of Logic Programming Interpreters, in: Proceedings of the International Conference on Fifth Generation Computer Systems, (ICOT eds), 1984, 149\u2013156."},{"key":"8_CR7","unstructured":"L. Cavedon, Continuity, Consistency, and Completeness Properties for Logic Programs, Technical Report 88\/33, Dept. of Comp. Sci., University of Melbourne, 1988. To appear in Theoretical Computer Science."},{"key":"8_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":"K.L. Clark, Negation as Failure, in: Logic and Data Bases, (H. Gallaire and J. Minker, eds), Plenum Press, New York, 1978, 293\u2013322."},{"issue":"1","key":"8_CR9","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/988284.988288","volume":"20","author":"M.A. Covington","year":"1985","unstructured":"M.A. Covington, Eliminating Unwanted Loops in PROLOG, SIGPLAN Notices, Vol. 20, No. 1, 1985, 20\u201326.","journal-title":"SIGPLAN Notices"},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0743-1066(87)90020-3","volume":"4","author":"A. Gelder van","year":"1987","unstructured":"A. van Gelder, Efficient Loop Detection in PROLOG using the Tortoise-and-Hare Technique, J. Logic Programming 4, 1987, 23\u201331.","journal-title":"J. Logic Programming"},{"key":"8_CR11","first-page":"178","volume-title":"Proceedings of the Fifth International Conference on Logic Programming","author":"D.B. Kemp","year":"1988","unstructured":"D.B. Kemp and R.W. Topor, Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases, in: Proceedings of the Fifth International Conference on Logic Programming, MIT Press, Cambridge Massachusetts, 1988, 178\u2013194."},{"key":"8_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"J.W. Lloyd, Foundations of Logic Programming, Second Edition, Springer-Verlag, Berlin, 1987.","edition":"Second Edition"},{"key":"8_CR13","unstructured":"J.W. Lloyd and J.C. Shepherdson, Partial Evaluation in Logic Programming, Technical Report CS-87-09, Dept. of Computer Science, University of Bristol, 1987."},{"key":"8_CR14","first-page":"193","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T.C. Przymusinski","year":"1987","unstructured":"T.C. Przymusinski, On the Declarative Semantics of Deductive Databases and Logic Programs, in: Foundations of Deductive Databases and Logic Programming (J. Minker ed.), Morgan Kaufmann Publishers, Los Altos, 1987, 193\u2013216."},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00243002","volume":"5","author":"T.C. Przymusinski","year":"1989","unstructured":"T.C. Przymusinski, On the Declarative and Procedural Semantics of Logic Programs, J. Automated Reasoning 5, 1989, 167\u2013205.","journal-title":"J. Automated Reasoning"},{"issue":"8","key":"8_CR16","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/988346.988350","volume":"20","author":"D. Poole","year":"1985","unstructured":"D. Poole and R. Goebel, On Eliminating Loops in PROLOG, SIGPLAN Notices, Vol. 20, No. 8, 1985, 38\u201340.","journal-title":"SIGPLAN Notices"},{"key":"8_CR17","first-page":"1106","volume-title":"Proceedings of the Fifth International Conference on Logic Programming","author":"H. Przymusinska","year":"1988","unstructured":"H. Przymusinska and T.C. Przymusinski, Weakly Perfect Model Semantics for Logic Programs, in: Proceedings of the Fifth International Conference on Logic Programming, (R.A Kowalski and K.A. Bowen eds.), MIT Press, Cambridge Massachusetts, 1988, 1106\u20131120."},{"key":"8_CR18","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(86)90003-2","volume":"30","author":"D.E. Smith","year":"1986","unstructured":"D.E. Smith, M.R. Genesereth and M.L. Ginsberg, Controlling Recursive Inference, Artificial Intelligence 30, 1986, 343\u2013389.","journal-title":"Artificial Intelligence"},{"key":"8_CR19","first-page":"195","volume-title":"Proceedings of the Fifth International Conference on Logic Programming","author":"H. Seki","year":"1988","unstructured":"H. Seki and H. Itoh, A Query Evaluation Method for Stratified Programs under the Extended CWA, in: Proceedings of the Fifth International Conference on Logic Programming, MIT Press, Cambridge Massachusetts, 1988, 195\u2013211."},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(89)90088-1","volume":"69","author":"L. Vieille","year":"1989","unstructured":"L. Vieille, Recursive Query Processing: The Power of Logic, Theoretical Computer Science 69, 1989, 1\u201353.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T01:43:38Z","timestamp":1549331018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0018437","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}