{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:48Z","timestamp":1725487668425},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657651"},{"type":"electronic","value":"9783540489580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_12","type":"book-chapter","created":{"date-parts":[[2007,7,23]],"date-time":"2007-07-23T02:11:42Z","timestamp":1185156702000},"page":"219-239","source":"Crossref","is-referenced-by-count":1,"title":["Successes in Logic Programs"],"prefix":"10.1007","author":[{"given":"Annalisa","family":"Bossi","sequence":"first","affiliation":[]},{"given":"Nicoletta","family":"Cocco","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"12_CR1","series-title":"Formal Models and Semantics","volume-title":"Handbook of Theoretical Computer Science","author":"K.R. Apt","year":"1990","unstructured":"Apt, K.R.: Introduction to Logic Programming. In van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics. Elsevier, Amsterdam and The MIT Press, Cambridge (1990)"},{"key":"12_CR2","unstructured":"Apt, K.R.: Declarative Programming in Prolog. In Miller, D. (ed.): Proceedings of the 1993 International Symposium on Logic Programming, The MIT Press 1993 12\u201335"},{"key":"12_CR3","unstructured":"Apt, K.R.: From Logic Programming to Prolog. Prentice Hall International Series in Computer Science 1997"},{"key":"12_CR4","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proceedings of the Conference on Mathematical Foundations of Computer Science (MFCS 93)","author":"K. R. Apt","year":"1993","unstructured":"Apt, K. R., Etalle, S.: On the Unification Free Prolog Programs. In Borzkowski, A., Sokolowski, S. (eds.): Proceedings of the Conference on Mathematical Foundations of Computer Science (MFCS 93). Lecture Notes in Computer Science, vol. 711, Springer-Verlag, Berlin 1993 1\u201319"},{"issue":"6A","key":"12_CR5","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6","author":"K. R. Apt","year":"1994","unstructured":"Apt, K. R., Marchiori, E.: Reasoning about Prolog Programs: from Modes through Types to Assertions. Formal Aspects of Computing, 6(6A) 1994 743\u2013765","journal-title":"Formal Aspects of Computing"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/978-3-642-76274-1_9","volume-title":"Proceedings of the Simposium in Computational Logic","author":"K. R. Apt","year":"1990","unstructured":"Apt, K. R., Pedreschi, D.: Studies in Pure Prolog: Termination. In Lloyd J.W. (ed.): Proceedings of the Simposium in Computational Logic, Springer-Verlag, Berlin 1990 150\u2013176"},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1993.1051","volume":"106","author":"K.R. Apt","year":"1993","unstructured":"Apt, K.R., Pedreschi, D.: Reasoning about Termination of Pure Prolog Programs. Information and Computation, 106(1) 1993 109\u2013157","journal-title":"Information and Computation"},{"key":"12_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-50940-2_30","volume-title":"Proceedings of TAPSOFT\u2019 89","author":"A. Bossi","year":"1989","unstructured":"Bossi, A., Cocco, N.: Verifying Correctness of Logic Programs. In Diaz, J., Orejas, F. (eds.): Proceedings of TAPSOFT\u2019 89, Lecture Notes in Computer Science, vol. 352, Springer-Verlag, Berlin 1989 96\u2013110"},{"key":"12_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-58431-5_19","volume-title":"Algebraic and Logic Programming-Proceedings ALP\u201994","author":"A. Bossi","year":"1994","unstructured":"Bossi, A., Cocco, N.: Preserving Universal Termination through Unfold\/Fold. In Levi, G., Rodriguez-Artalejo, M. (eds.): Algebraic and Logic Programming-Proceedings ALP\u201994, Lecture Notes in Computer Science, vol. 850, Springer-Verlag, Berlin 1994 269\u2013286"},{"key":"12_CR10","series-title":"Lect Notes Comput Sci","first-page":"28","volume-title":"Proceedings LOPSTR\u201997","author":"A. Bossi","year":"1997","unstructured":"Bossi, A., Cocco, N.: Programs without Failures. In Fuchs, N. (ed.): Proceedings LOPSTR\u201997, Lecture Notes in Computer Science, vol. 1463, Springer-Verlag, Berlin 1997 28\u201348"},{"key":"12_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-60939-3_3","volume-title":"Proceedings LOPSTR\u201995","author":"A. Bossi","year":"1996","unstructured":"Bossi, A., Cocco, N., Etalle, S.: Transformation of Left Terminating Programs: The Reordering Problem. In Proietti, M. (ed.): Proceedings LOPSTR\u201995, Lecture Notes in Computer Science, vol. 1048, Springer-Verlag, Berlin 1996 33\u201345"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0304-3975(92)00019-N","volume":"124","author":"A. Bossi","year":"1994","unstructured":"Bossi, A., Cocco, N., Fabris, M.: Norms on Terms and their Use in Proving Universal Termination of a Logic Program. Theoretical Computer Science, 124 1994 297\u2013328","journal-title":"Theoretical Computer Science"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Boye, J., Maluszynski, J.: Two Aspects of Directional Types. In Sterling L. (ed.): Proc. Int\u2019l Conf. on Logic Programming, The MIT Press 1995 747\u2013761","DOI":"10.7551\/mitpress\/4298.003.0071"},{"key":"12_CR14","unstructured":"Bronsard, F., Lakshman, T. K., Reddy, U. S.: A Framework of Directionalities for Proving Termination of Logic Programs. In Apt, K.R. (ed.) Proceedings of the Joint International Conference and Symposium on Logic Programming, The MIT Press 1992 321\u2013335"},{"key":"12_CR15","unstructured":"Bruynooghe, M., Janssens, G.: An Instance of Abstract Interpretation: Integrating Type and Mode Inferencing. In Proceedings of the International Conference on Logic Programming, The MIT Press 1988 669\u2013683"},{"issue":"2","key":"12_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0743-1066(94)90048-5","volume":"18","author":"R. Chadha","year":"1994","unstructured":"Chadha, R., Plaisted, D.A.: Correctness of Unification Without Occur Check in Prolog. Journal of Logic Programming, 18(2) 1994 99\u2013122","journal-title":"Journal of Logic Programming"},{"key":"12_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-63875-X_55","volume-title":"Advances in Computing Science-ASIAN\u201997","author":"B. Charlier Le","year":"1997","unstructured":"Le Charlier, B., Leclere, C., Rossi, S., Cortesi, A.: Automated Verification of Behavioural Properties of Prolog Programs. In Advances in Computing Science-ASIAN\u201997, Lecture Notes in Computer Science, vol. 1345 1997 225\u2013237"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Debray, S., Lopez-Garcia, P., Hermenegildo, M.: Non-Failure Analysis for Logic Programs. In Naish, L. (ed.): Proceedings of the International Symposium on Logic Programming, The MIT Press 1997 48\u201362","DOI":"10.7551\/mitpress\/4299.003.0010"},{"issue":"3","key":"12_CR19","first-page":"419","volume":"11","author":"S.K. Debray","year":"1989","unstructured":"Debray, S.K.: Static Inference of Modes and Data Dependencies in Logic Programs. ACM Transactions on Programming Languages and Systems, 11(3) 1989 419\u2013450","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"5","key":"12_CR20","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/161468.161472","volume":"15","author":"S.K. Debray","year":"1993","unstructured":"Debray, S.K., Lin, N.: Cost Analysis of Logic Programs. ACM Transactions on Programming Languages and Systems, 15(5) 1993 826\u2013875","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0304-3975(88)90099-0","volume":"59","author":"W. Drabent","year":"1988","unstructured":"Drabent, W., Maluszynski, J.: Inductive Assertion Method for Logic Programs. Theoretical Computer Science, 59 1988133\u2013155","journal-title":"Theoretical Computer Science"},{"key":"12_CR22","unstructured":"Henderson, F., Conway, T., Somogyi, Z., Jeffery, D.: The Mercury Language Reference Manual. Technical Report TR 96\/10, Dep. of Computer Science, University of Melbourne (1996)"},{"key":"12_CR23","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":"Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag, Berlin 1987 Second edition.","edition":"Second edition"},{"key":"12_CR24","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":"De Schreye, D., Decorte, S.: Termination of Logic Programs: the Never-Ending Story. Journal of Logic Programming, 19-20 1994 199\u2013260","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48958-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T00:45:54Z","timestamp":1708130754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}