{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T19:03:29Z","timestamp":1649099009949},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540587927","type":"print"},{"value":"9783540491040","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58792-6_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:45:13Z","timestamp":1330274713000},"page":"311-331","source":"Crossref","is-referenced-by-count":2,"title":["More on unfold\/fold transformations of normal programs: Preservation of fitting's semantics"],"prefix":"10.1007","author":[{"given":"Annalisa","family":"Bossi","sequence":"first","affiliation":[]},{"given":"Sandro","family":"Etalle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"20_CR1","volume-title":"Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics","author":"K. R. Apt","year":"1990","unstructured":"K. R. Apt. Introduction to Logic Programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics. Elsevier, Amsterdam and The MIT Press, Cambridge, 1990."},{"key":"20_CR2","unstructured":"L. Aiello, G. Attardi, and G. Prini. Towards a more declarative programming style. In E. J. Neuhold, editor, Proceedings of the IFIP Conference on Formal Description of Programming Concepts, pages 121\u2013137. North-Holland, 1978."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"C. Aravidan and P. M. Dung. Partial deduction of logic programs w.r.t. well-founded semantics. In H. Kirchner G. Levi, editor, Proceedings of the Third International Conference on Algebraic and Logic Programming, pages 384\u2013402. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0013839"},{"key":"20_CR4","volume-title":"Technical report","author":"C. Aravidan","year":"1993","unstructured":"C. Aravidan and P. M. Dung. On the correctness of Unfold\/Fold transformation of normal and extended logic programs. Technical report, Division of Computer Science, Asian Institute of Technology, Bangkok, Thailand, April 1993."},{"issue":"1\/2","key":"20_CR5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0743-1066(93)90023-A","volume":"16","author":"A. Bossi","year":"1993","unstructured":"A. Bossi and N. Cocco. Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs. Journal of Logic Programming, 16(1\/2):47\u201387, 1993.","journal-title":"Journal of Logic Programming"},{"key":"20_CR6","first-page":"265","volume-title":"volume 649 of Lecture Notes in Computer Science","author":"A. Bossi","year":"1992","unstructured":"A. Bossi, N. Cocco, and S. Etalle. Transforming Normal Programs by Replacement. In A. Pettorossi, editor, Meta Programming in Logic \u2014 Proceedings META '92, volume 649 of Lecture Notes in Computer Science, pages 265\u2013279. Springer-Verlag, Berlin, 1992."},{"key":"20_CR7","volume-title":"Technical Report CS-R9357","author":"A. Bossi","year":"1993","unstructured":"A. Bossi, N. Cocco, and S. Etalle. Simultaneous replacement in normal programs. Technical Report CS-R9357, CWI, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, August 1993. Available via anonymous ftp at ftp.cwi.nl, or via xmosaic at http:\/\/www.cwi.nl\/cwi\/publications\/index.html."},{"issue":"1","key":"20_CR8","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44\u201367, January 1977.","journal-title":"Journal of the ACM"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"K. L. Clark. Negation as failure rule. In H. Gallaire and G. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"20_CR10","unstructured":"K.L. Clark and S. Sickel. Predicate logic: a calculus for deriving programs. In Proceedings of IJCAI'77, pages 419\u2013120, 1977."},{"issue":"4","key":"20_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0743-1066(85)90014-7","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting. A Kripke-Kleene semantics for Logic Programs. Journal of Logic Programming, 2(4):295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"key":"20_CR12","unstructured":"P.A. Gardner and J.C. Shepherdson. Unfold\/fold transformations of logic programs. In J-L Lassez and editor G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. 1991."},{"issue":"2","key":"20_CR13","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/322248.322258","volume":"28","author":"C.J. Hogger","year":"1981","unstructured":"C.J. Hogger. Derivation of logic programs. Journal of the ACM, 28(2):372\u2013392, April 1981.","journal-title":"Journal of the ACM"},{"issue":"1\/2","key":"20_CR14","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(90)90065-P","volume":"75","author":"T. Kawamura","year":"1990","unstructured":"T. Kawamura and T. Kanamori. Preservation of Stronger Equivalence in Unfold\/Fold Logic Programming Transformation. Theoretical Computer Science, 75(1\/2):139\u2013156, 1990.","journal-title":"Theoretical Computer Science"},{"key":"20_CR15","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"S.C. Kleene. Introduction to Metamathematics. D. van Nostrand, Princeton, New Jersey, 1952."},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"H.J. Komorowski. Partial evaluation as a means for inferencing data structures in an applicative language: A theory and implementation in the case of Prolog. In Ninth ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, pages 255\u2013267, 1982.","DOI":"10.1145\/582153.582181"},{"key":"20_CR17","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, 1987. Second edition.","edition":"Second edition"},{"key":"20_CR18","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J. W. Lloyd","year":"1991","unstructured":"J. W. Lloyd and J. C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"20_CR19","unstructured":"M.J. Maher. Correctness of a logic program transformation system. IBM Research Report RC13496, T.J. Watson Research Center, 1987."},{"key":"20_CR20","first-page":"347","volume-title":"Lecture Notes in Computer Science, Vol.528","author":"M. Proietti","year":"1991","unstructured":"M. Proietti and A. Pettorossi. Unfolding, definition, folding, in this order for avoiding unnecessary variables in logic programs. In Maluszynski and M. Wirsing, editors, PLILP 91, Passau, Germany (Lecture Notes in Computer Science, Vol.528), pages 347\u2013358. Springer-Verlag, 1991."},{"issue":"1","key":"20_CR21","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0304-3975(92)90287-P","volume":"105","author":"T. Sato","year":"1992","unstructured":"T. Sato. Equivalence-preserving first-order unfold\/fold transformation system. Theoretical Computer Science, 105(1):57\u201384, 1992.","journal-title":"Theoretical Computer Science"},{"key":"20_CR22","unstructured":"H. Seki. Unfold\/fold transformation of stratified programs. In G. Levi and M. Martelli, editors, 6th International Conference on Logic Programming, pages 554\u2013568. The MIT Press, 1989."},{"key":"20_CR23","unstructured":"H. Seki. A comparative study of the Well-Founded and Stable model semantics: Transformation's viewpoint. In D. Pedreschi W. Marek, A. Nerode and V.S. Subrahmanian, editors, Workshop on Logic Programming and Non-Monotonic Logic, Austin, Texas, October 1990, pages 115\u2013123, 1990."},{"issue":"1","key":"20_CR24","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0304-3975(91)90007-O","volume":"86","author":"H. Seki","year":"1991","unstructured":"H. Seki. Unfold\/fold transformation of stratified programs. Theoretical Computer Science, 86(1):107\u2013139, 1991.","journal-title":"Theoretical Computer Science"},{"issue":"1\/2","key":"20_CR25","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0743-1066(93)90021-8","volume":"16","author":"H. Seki","year":"1993","unstructured":"H. Seki. Unfold\/fold transformation of general logic programs for the Well-Founded semantics. Journal of Logic Programming, 16(1\/2):5\u201323, 1993.","journal-title":"Journal of Logic Programming"},{"key":"20_CR26","unstructured":"H. Tamaki and T. Sato. Unfold\/Fold Transformations of Logic Programs. In Sten\u00e5ke T\u00c4rnlund, editor, Proc. Second Int'l Conf. on Logic Programming, pages 127\u2013139, 1984."}],"container-title":["Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58792-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:08Z","timestamp":1605648248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58792-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587927","9783540491040"],"references-count":26,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-58792-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1994]]}}}