{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:30Z","timestamp":1725890910984},"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_12","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T05:41:54Z","timestamp":1187070114000},"page":"226-244","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Logic for Reasoning About Logic Programs Transformation"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Momigliano","sequence":"first","affiliation":[]},{"given":"Mario","family":"Ornaghi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,18]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.A.: Logic Programming. In: Leuween J. (ed.): Handbook of Theoretical Computer Science. Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"12_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Partial Evaluation","year":"1996","unstructured":"Danvy, O., Gluck, R., Thiemann, P., (eds.): Partial Evaluation. International Seminar. Dagstuhl Castle, Germany, February 12\u201316. Selected Papers. LNCS 1110. Springer Verlag (1996)"},{"issue":"2","key":"12_CR3","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/logcom\/1.2.261","volume":"1","author":"L. Halln\u00e4s","year":"1990","unstructured":"Halln\u00e4s, L., Schroeder-Heister, P.: A Proof-theoretic Approach to Logic Programming: Clauses as Rules. Journal of Logic and Computation 1:2 (1990) 261\u2013283","journal-title":"Journal of Logic and Computation"},{"key":"12_CR4","unstructured":"Hodges, W.: Logical Features of Horn Clauses. In: Gabbay, D.M., Hogger, C.J, Robinson, J.A., (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1: Logical Foundations. Oxford University Press (1993) 449\u2013503"},{"key":"12_CR5","first-page":"41","volume":"8","author":"J. Komorowski","year":"1993","unstructured":"Komorowski, J.: A Prolegomenon to Partial Deduction. Fundamenta Informaticae. Annales Societatis Mathematicae Polonae 8 (1993) 41\u201363","journal-title":"Annales Societatis Mathematicae Polonae"},{"key":"12_CR6","unstructured":"Komorowski, J. (Guest Editor): Special Issue on Partial Deduction. Journal of Logic Programming 14 (1993)"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1145\/243439.243447","volume":"28","author":"N.D. Jones","year":"1996","unstructured":"Jones, N.D.: An Introduction to Partial Evaluation. Acm Computing Surveys 28:3 (1996) 480\u2013531","journal-title":"Acm Computing Surveys"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.: Partial Evaluation in Logic Programming. Journal of Logic Programming 11 (1991) 217\u2013242","journal-title":"Journal of Logic Programming"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Momigliano, A., Ornaghi, M.: Regular Search Spaces as a Foundation of Logic Programming. In: Dyckhoff R. (ed.): Extensions of Logic Programming. LNAI 798. Springer Verlag (1994) 222\u2013254","DOI":"10.1007\/3-540-58025-5_59"},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1093\/logcom\/7.3.367","volume":"7","author":"A. Momigliano","year":"1997","unstructured":"Momigliano, A., Ornaghi, M.: Regular Search Spaces and Constructive Negation. Journal of Logic and Computation 7:3 (1997) 367\u2013403","journal-title":"Journal of Logic and Computation"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19\u201320","author":"A. Pettorossi","year":"1994","unstructured":"Pettorossi, A., Proietti, M.: Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming 19\u201320 (1994) 261\u2013321","journal-title":"Journal of Logic Programming"},{"key":"12_CR12","unstructured":"Prawitz, D.: Natural deduction. A Proof-Theoretical Study. Almquist Wiksell (1965)"},{"key":"12_CR13","unstructured":"Sahlin, D.: An Automatic Partial Evaluator for Full Prolog. Report TRITA-TCS 91:01 (1991)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P.: Rules of definitional reflection. In: Proceedings of the IEEE Symposium on Logic in Computer Science. (1993) 222\u2013232","DOI":"10.1109\/LICS.1993.287585"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0304-3975(91)90007-O","volume":"86","author":"H. Seki","year":"1991","unstructured":"Seki, H.: Unfold\/Fold Transformation of Stratified Programs. Theoretical Computer Science 86 (1991) 107\u2013139","journal-title":"Theoretical Computer Science"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1017\/S0960129500001419","volume":"2","author":"J.C. Sheperdson","year":"1992","unstructured":"Sheperdson, J.C.: Unfold\/Fold Transformations of Logic Programs. Math. Structure Comp. Science 2 (1992) 143\u2013157","journal-title":"Math. Structure Comp. Science"},{"key":"12_CR17","unstructured":"Tamaki, H, Sato, T.: Unfold\/Fold Transformation of Logic Programs. In: S-A T\u00e4rlund (Ed.): Proceedings of ICLP84. Uppsala. (1984) 127\u2013138"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T01:21:41Z","timestamp":1550798501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49674-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650744","9783540496748"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-49674-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}