{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:33:58Z","timestamp":1726407238937},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439608"},{"type":"electronic","value":"9783540456322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45632-5_4","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T03:37:27Z","timestamp":1179632247000},"page":"83-108","source":"Crossref","is-referenced-by-count":2,"title":["The Declarative Side of Magic"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Mascellani","sequence":"first","affiliation":[]},{"given":"Dino","family":"Pedreschi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,17]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 493\u2013574. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"4_CR2","unstructured":"K. R. Apt. Declarative programming in Prolog. In D. Miller, editor, Proc. International Symposium on Logic Programming, pages 11\u201335. MIT Press, 1993."},{"key":"4_CR3","unstructured":"K.R. Apt. Program Verification and Prolog. In E. B\u00f6rger, editor, Specification and Validation methods for Programming languages and systems. Oxford University Press, 1994."},{"key":"4_CR4","first-page":"147","volume-title":"Journal of Logic Programming","author":"K.R. Apt","year":"1996","unstructured":"K.R. Apt, M. Gabbrielli, and D. Pedreschi. A Closer Look at Declarative Interpretations. Technical Report CS-R9470, Centre for Mathematics and Computer Science, Amsterdam, Journal of Logic Programming. 28(2): 147\u2013180, 1996."},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6A","author":"K.R. Apt","year":"1994","unstructured":"K.R. Apt and E. Marchiori. Reasoning about Prolog programs: from modes through types to assertions. Formal Aspects of Computing, 6A:743\u2013764, 1994.","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"4_CR6","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":"4_CR7","unstructured":"K. R. Apt and D. Pedreschi. Modular termination proofs for logic and pure Prolog programs. In G. Levi, editor, Advances in Logic Programming Theory, pages 183\u2013229. Oxford University Press, 1994."},{"key":"4_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-50940-2_30","volume-title":"TAPSOFT\u2019 89","author":"A. Bossi","year":"1989","unstructured":"A. Bossi and N. Cocco. Verifying Correctness of Logic Programs. In J. Diaz and F. Orejas, editors, TAPSOFT\u2019 89, volume 352 of Lecture Notes in Computer Science, pages 96\u2013110. Springer-Verlag, Berlin, 1989."},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1145\/28659.28689","volume-title":"Proc. 6th ACM-SIGMOD-SIGACT Symposium on Principles of Database systems","author":"C. Beeri","year":"1987","unstructured":"C. Beeri and R. Ramakrishnan. The power of magic. In Proc. 6th ACM-SIGMOD-SIGACT Symposium on Principles of Database systems, pages 269\u2013283. The Association for Computing Machinery, New York, 1987."},{"key":"4_CR10","unstructured":"F. Bronsard, T.K. Lakshman, and U.S. Reddy. A framework of directionality for proving termination of logic programs. In K. R. Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 321\u2013335. MIT Press, 1992."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(93)90107-5","volume":"118","author":"P. Deransart","year":"1993","unstructured":"P. Deransart. Proof methods of declarative properties of definite programs. Theoretical Computer Science, 118:99\u2013166, 1993.","journal-title":"Theoretical Computer Science"},{"key":"4_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. Springer-Verlag, Berlin, second edition, 1987.","edition":"second edition"},{"key":"4_CR13","unstructured":"P. Mascellani. Declarative Verification of General Logic Programs. In Proceedings of the Student Session, ESSLLI-2000. Birmingham UK, 2000."},{"key":"4_CR14","unstructured":"P. Mascellani and D. Pedreschi. Proving termination of prolog programs. In Proceedings 1994 Joint Conf. on Declarative Programming GULP-PRODE\u2019 94, pages 46\u201361, 1994."},{"key":"4_CR15","unstructured":"P. Mascellani and D. Pedreschi. Total correctness of prolog programs. In F.S. de Boer and M. Gabbrielli, editors, Proceedings of the W2 Post-Conference Workshop ICLP\u201994. Vrije Universiteit Amsterdam, 1994."},{"key":"4_CR16","unstructured":"D. Pedreschi. Verification of Logic Programs. In M. I. Sessa, editor, Ten Years of Logic Programming in Italy, pages 211\u2013239. Palladio, 1995."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"D. Pedreschi and S. Ruggieri. Verification of Logic Programs. Journal of Logic Programming, 39(1\u20133):125\u2013176, April 1999","DOI":"10.1016\/S0743-1066(98)10035-3"},{"key":"4_CR18","unstructured":"S. Ruggieri. Proving (total) correctness of prolog programs. In F.S. de Boer and M. Gabbrielli, editors, Proceedings of the W2 Post-Conference Workshop ICLP\u201994. Vrije Universiteit Amsterdam, 1994."},{"key":"4_CR19","unstructured":"J.D. Ullman. Principles of Database and Knowledge-base Systems, Volume I. Principles of Computer Science Series. Computer Science Press, 1988."},{"key":"4_CR20","unstructured":"J.D. Ullman. Principles of Database and Knowledge-base Systems, Volume II; The New Technologies. Principles of Computer Science Series. Computer Science Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Computational Logic: Logic Programming and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45632-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T15:34:09Z","timestamp":1550331249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45632-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439608","9783540456322"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45632-5_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}