{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:34Z","timestamp":1725487654613},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_7","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T22:11:42Z","timestamp":1185142302000},"page":"124-142","source":"Crossref","is-referenced-by-count":1,"title":["The Use of Renaming in Composing General Programs"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Simone","family":"Contiero","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Turini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"K. R. Apt. Logic programming. In J. vanLeeuwen, editor, Handbook of Theoretical Computer Science, pages 493\u2013574. Elsevier, 1990. Vol. B.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19-20","author":"K. R. Apt","year":"1994","unstructured":"K. R. Apt and R. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19-20:9\u201371, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J. A. Bergstra","year":"1990","unstructured":"J. A. Bergstra, J. Heering, and P. Klint. Module Algebra. Journal of the ACM, 37(2):335\u2013372, 1990.","journal-title":"Journal of the ACM"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"A. Brogi, S. Contiero, and F. Turini. Composing General Logic Programs. In J. Dix, U. Furbach, and A. Nerode, editors, Proc. of LPNMR\u201997, number 1265 in LNAI, pages 273\u2013288. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63255-7_21"},{"issue":"1-2","key":"7_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)80755-4","volume":"184","author":"A. Brogi","year":"1997","unstructured":"A. Brogi, E. Lamma, P. Mancarella, and P. Mello. A Uifying View for Logic Programming with Non-Monotonic Reasoning. Theoretical Computer Science, 184(1-2):1\u201359, 1997.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1145\/183432.183528","volume":"16","author":"A. Brogi","year":"1994","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular Logic Programming. ACM Transactions on Programming Languages and Systems, 16(4):1361\u20131398, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0304-3975(95)00012-L","volume":"149","author":"A. Brogi","year":"1995","unstructured":"A. Brogi and F. Turini. Fully abstract compositional semantics for an algebra of logic programs. Theoretical Computer Science, 149(2):201\u2013229, 1995.","journal-title":"Theoretical Computer Science"},{"key":"7_CR8","unstructured":"P.M. Dung. Negation as hypotheses: An abductive foundation for logic programming. In K. Furukawa, editor, Proc. 8th International Conference on Logic Programming, pages 3\u201317. The MIT Press, 1991."},{"key":"7_CR9","unstructured":"S. Etalle and F. Teusink. A Compositional Semantics for Normal Open Programs. In M. Maher, editor, Proc. of JICSLP 96, pages 468\u2013482, 1996."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M. Fitting","year":"1985","unstructured":"M. Fitting. A Kriple-Kleene semantics for general logic programs. Journal of Logic Programming, 4:295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"key":"7_CR11","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. A. Bowen, editors, Proc of the Fifth International Conference and Symposium on Logic Programming, Seattle, 1988, pages 1070\u20131080. The MIT Press, 1988."},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz. Classical negation in logic programming and disjunctive databases. New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R.M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM, 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"7_CR14","unstructured":"P. Hill. A Module System for Systematic Software Development: Design and Implementation. In A. Brogi and P. Hill, editors, LOCOS 97 Proc. of the Post Conference Workshop on Logic Based Composition of Software for the ICLP 97, 1997."},{"key":"7_CR15","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"S.C. Kleene. Introduction to Metamathematics. van Nostrand, New York, 1952."},{"key":"7_CR16","unstructured":"V. Lifschitz and H. Turner. Splitting a logic program. In Pascal Van Entenryck, editor, Proc. 11th International Conference on Logic Programming, pages 23\u201337. The MIT Press, 1994."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"T. Przymusinski. On the declarative semantics of deductive databases and logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193\u2013216. Morgan Kaufmann, Los Alto,CA, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"T. Przymusinski. Stationary semantics for normal and disjunctive logic programs. In C. Delobel, M. Kifer, and Y. Masunagar, editors, Proc. of DOOD\u201991. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-55015-1_5"},{"issue":"3","key":"7_CR19","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"A. van Gelder, K. Ross, and J. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"7_CR20","unstructured":"S. Verbaeten and A. Bossi. Composing complete and partial knowledge. In A. Brogi and P. Hill, editors, Proc. of COCL, First Int. Workshop on Component-based Software Development in Computational Logic, pages 109\u2013123, 1998."},{"key":"7_CR21","unstructured":"S. Verbaeten, M. Denecker, and D. De Schreye. Compositionality of normal logic programs. In J. Maluszynski, editor, Logic Programming, Proc. of the 1997 International Symposium, pages 371\u2013395, 1997."}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T10:10:23Z","timestamp":1683972623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}