{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:33:28Z","timestamp":1648773208212},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"value":"9783540198062","type":"print"},{"value":"9781447135609","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_7","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T06:49:46Z","timestamp":1356850186000},"page":"82-98","source":"Crossref","is-referenced-by-count":1,"title":["Best-first Strategies for Incremental Transformations of Logic Programs"],"prefix":"10.1007","author":[{"given":"Maurizio","family":"Proietti","sequence":"first","affiliation":[]},{"given":"Alberto","family":"Pettorossi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","first-page":"204","volume-title":"Proceedings of the Third International Workshop on Meiaprogramming in Logic (Meta \u203292) Uppsala (Sweden)","author":"A Bossi","year":"1992","unstructured":"A. Bossi, N. Cocco, and S. Etalle. Transforming normal programs by replacement. In A. Pettorossi, editor, Proceedings of the Third International Workshop on Meiaprogramming in Logic (Meta \u203292), Uppsala (Sweden), pages 204\u2013220. Uppsala University, June 1992."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0743-1066(89)90033-2","volume":"6","author":"M Bruynooghe","year":"1989","unstructured":"M. Bruynooghe, D. D. Schreye, and B. Krekels. Compiling control. Journal of Logic Programming, 6: 135\u2013162, 1989.","journal-title":"Journal of Logic Programming"},{"key":"7_CR3","unstructured":"A. Bundy. The Computer Modelling of Mathematical Reasoning. Academic Press, 1983."},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burst","year":"1977","unstructured":"R. M. Burst all 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"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357153.357154","volume":"4","author":"MS Feather","year":"1982","unstructured":"M. S. Feather. A system for assisting program transformation. TOPLAS, 4 (1): 1\u201320, January 1982.","journal-title":"Toplas"},{"key":"7_CR6","first-page":"565","volume-title":"Computational Logic","author":"PA Gardner","year":"1990","unstructured":"P. A. Gardner and J. C. Shepherdson. Unfold\/fold transformations of logic programs. In J.-L. Lassez and G. Plotkin, editors, Computational Logic, Essays in Honor of Alan Robinson, pages 565-583. MIT Press, 1990."},{"key":"7_CR7","first-page":"255","volume-title":"Proceedings of the Ninth ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico (USA)","author":"HJ Komorowski","year":"1982","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 Proceedings of the Ninth ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico (USA), pages 255 - 267, 1982."},{"key":"7_CR8","doi-asserted-by":"publisher","volume-title":"Foundations of Logic Programming. Springer-Verlag","author":"JW Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, Second Edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"JW Lloyd","year":"1991","unstructured":"J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, 11: 217 - 242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"7_CR10","first-page":"379","volume-title":"Proceedings of the 1987 IEEE Symposium on Logic Programming","author":"D Miller","year":"1987","unstructured":"D. Miller and G. Nadathur. A logic programming approach to manipulating formulas and programs. In Proceedings of the 1987 IEEE Symposium on Logic Programming, San Francisco, CA (USA), pages 379-388. IEEE Press, 1987."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"N. J. Nilsson. Principles of Artificial Intelligence. Springer-Verlag, 1982.","DOI":"10.1007\/978-3-662-09438-9"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"M. Proietti and A. Pettorossi. Semantics preserving transformation rules for Prolog. In Proceedings of the ACM Symposium on Partial Evaluation and Semantics Based Program Manipulation, PEPM '91, New Haven, CT (U.S.A.), pages 274-284. SIGPLAN NOTICES, 26, 9 ( 1991 ), 1991.","DOI":"10.1145\/115866.115895"},{"key":"7_CR13","first-page":"347","volume-title":"N. Jones, editor, LNCS n. 528, Proceedings PLILP 91","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 N. Jones, editor, LNCS n. 528, Proceedings PLILP 91, Passau (Germany), pages 347-358. Springer-Verlag, 1991."},{"key":"7_CR14","first-page":"175","volume-title":"LNCS n. 463, Proceedings ALP 90","author":"T Sato","year":"1990","unstructured":"T. Sato. An equivalence preserving first order unfold\/fold transformation system. In LNCS n. ^63, Proceedings ALP\n 90, Nancy (France), pages 175-188. Springer-Verlag, 1990."},{"key":"7_CR15","doi-asserted-by":"publisher","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: 107 - 139, 1991.","journal-title":"Theoretical Computer Science"},{"key":"7_CR16","first-page":"243","volume-title":"Proceedings of the Second International Conference on Logic Programming","author":"H Tamaki","year":"1984","unstructured":"H. Tamaki and T. Sato. Unfold\/fold transformation of logic programs. In S.-A. Tarlund, editor, Proceedings of the Second International Conference on Logic Programming, Uppsala (Sweden), pages 243-251. Uppsala University, 1984."}],"container-title":["Logic Program Synthesis and Transformation","Workshops in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T03:21:24Z","timestamp":1557458484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":16,"URL":"http:\/\/dx.doi.org\/10.1007\/978-1-4471-3560-9_7","relation":{},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"published":{"date-parts":[[1993]]}}}