{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:29Z","timestamp":1725890909412},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650744"},{"type":"electronic","value":"9783540496748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49674-2_6","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T01:41:54Z","timestamp":1187055714000},"page":"111-127","source":"Crossref","is-referenced-by-count":7,"title":["Termination Analysis for Tabled Logic Programming"],"prefix":"10.1007","author":[{"given":"Stefaan","family":"Decorte","sequence":"first","affiliation":[]},{"given":"Danny","family":"De Schreye","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[]},{"given":"Bern","family":"Martens","sequence":"additional","affiliation":[]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,18]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1993.1051","volume":"106","author":"K. R. Apt","year":"1993","unstructured":"K. R. Apt and D. Pedreschi. Reasoning about Termination of Pure Prolog Programs. Information and Computation, 106(1):109\u2013157, 1993.","journal-title":"Information and Computation"},{"key":"6_CR2","unstructured":"R. Bol and L. Degerstedt. The Underlying Search for Magic Templates and Tabulation. In D. S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming, pages 793\u2013811, Budapest, Hungary, June 1993. The MIT Press."},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0304-3975(92)00019-N","volume":"124","author":"A. Bossi","year":"1994","unstructured":"A. Bossi, N. Cocco, and M. Fabris. Norms on Terms and their use in Proving Universal Termination of a Logic Program. Theoretical Computer Science, 124(2):297\u2013328, February 1994.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"W. Chen and D. S. Warren. Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM, 43(1):20\u201374, January 1996.","journal-title":"Journal of the ACM"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0743-1066(94)90027-2","volume":"19\/20","author":"D. Schreye De","year":"1994","unstructured":"D. De Schreye, S. Decorte. Termination of Logic Programs: The never-ending story. Journal of Logic Programming, 19\/20:199\u2013260, May\/July 1994.","journal-title":"Journal of Logic Programming"},{"key":"6_CR6","unstructured":"D. De Schreye, K. Verschaetse, and M. Bruynooghe. A Framework for Analysing the Termination of Definite Logic Programs with respect to Call Patterns. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS\u201992), pages 481\u2013488, ICOT Tokyo, 1992. ICOT."},{"issue":"3","key":"6_CR7","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behaviour of Logic Languages. Theoretical Computer Science, 69(3):289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","first-page":"25","volume-title":"Perspectives of System Informatics: Proceedings of the Andrei Ershov Second International Memorial Conference","author":"A. J. Glenstrup","year":"1996","unstructured":"A. J. Glenstrup and N. D. Jones. BTA algorithms to ensure Termination of off-line Partial Evaluation. In Perspectives of System Informatics: Proceedings of the Andrei Ershov Second International Memorial Conference, LNCS, pages 25\u201328. Springer-Verlag, June 1996."},{"key":"6_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/3540543961_23","volume-title":"Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA)","author":"C. K. Holst","year":"1991","unstructured":"C. K. Holst. Finiteness Analysis. In J. Hughes, editor, Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA), number 523 in LNCS, pages 473\u2013495. Springer-Verlag, August 1991."},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-61580-6_12","volume-title":"Proceedings of the 1996 Dagstuhl Seminar on Partial Evaluation","author":"J. J\u00f8rgensen","year":"1996","unstructured":"J. J\u00f8rgensen and M. Leuschel. Effciently Generating Effcient Generating Extensions in Prolog. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Proceedings of the 1996 Dagstuhl Seminar on Partial Evaluation, number 1110 in LNCS, pages 238\u2013262, Schlo\u00df Dagstuhl, 1996. Springer-Verlag."},{"issue":"1&2","key":"6_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(93)90011-5","volume":"15","author":"T. Kanamori","year":"1993","unstructured":"T. Kanamori and T. Kawamura. OLDT-based Abstract Interpretation. Journal of Logic Programming, 15(1&2):1\u201330, January 1993.","journal-title":"Journal of Logic Programming"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"M. Leuschel, B. Martens, and K. Sagonas. Preserving Termination of Tabled Logic Programs While Unfolding. In N. Fuchs, editor, Proceedings of Logic Program Synthesis and Transformation (LOPSTR\u201997), Leuven, Belgium, July 1997.","DOI":"10.1007\/3-540-49674-2_10"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"T. Mogensen and A. Bondorf. Logimix: A self-applicable Partial Evaluator for Prolog. In K.-K. Lau and T. Clement, editors, Proceedings of Logic Program Synthesis and Transformation (LOPSTR\u201992), pages 214\u2013227. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3560-9_15"},{"key":"6_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-52837-7","volume-title":"Termination Proofs for Logic Programs","author":"L. Pl\u00fcmer","year":"1990","unstructured":"L. Pl\u00fcmer. Termination Proofs for Logic Programs, number 446 in LNCS. Springer-Verlag, 1990."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. XSB as an Effcient Deductive Database Engine. In Proceedings of the ACM SIGMOD International Conference on the Management of Data, pages 442\u2013453, Minneapolis, Minnesota, May 1994. ACM Press.","DOI":"10.1145\/191843.191927"},{"key":"6_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Proceedings of the Third International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"H. Tamaki and T. Sato. OLD Resolution with Tabulation. In E. Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, number 225 in LNCS, pages 84\u201398, London, July 1986. Springer-Verlag."},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","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(1):1\u201353, 1989.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49674-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T21:04:16Z","timestamp":1556744656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49674-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650744","9783540496748"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-49674-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}