{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:16:31Z","timestamp":1725552991375},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642125911"},{"type":"electronic","value":"9783642125928"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12592-8_7","type":"book-chapter","created":{"date-parts":[[2010,4,28]],"date-time":"2010-04-28T02:28:59Z","timestamp":1272421739000},"page":"82-96","source":"Crossref","is-referenced-by-count":7,"title":["On Inductive and Coinductive Proofs via Unfold\/Fold Transformations"],"prefix":"10.1007","author":[{"given":"Hirohisa","family":"Seki","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K.R. Apt","year":"1990","unstructured":"Apt, K.R.: Introduction to Logic Programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 493\u2013576. Elsevier, Amsterdam (1990)"},{"issue":"3","key":"7_CR2","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0743-1066(94)00104-E","volume":"24","author":"C. Aravindan","year":"1995","unstructured":"Aravindan, C., Dung, P.M.: On the Correctness of Unfold\/fold Transformation of Normal and Extended Logic Programs. J. of Logic Programming\u00a024(3), 295\u2013322 (1995)","journal-title":"J. of Logic Programming"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-25951-0_10","volume-title":"Program Development in Computational Logic","author":"F. Fioravanti","year":"2004","unstructured":"Fioravanti, F., Pettorossi, A., Proietti, M.: Transformation Rules for Locally Stratified Constraint Logic Programs. In: Bruynooghe, M., Lau, K.-K. (eds.) Program Development in Computational Logic. LNCS, vol.\u00a03049, pp. 291\u2013339. Springer, Heidelberg (2004)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/978-3-540-85958-1_33","volume-title":"Principles and Practice of Constraint Programming","author":"J. Jaffar","year":"2008","unstructured":"Jaffar, J., Santosa, A., Voicu, R.: A Coinduction Rule for Entailment of Recursively Defined Properties. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 493\u2013508. Springer, Heidelberg (2008)"},{"key":"7_CR5","unstructured":"Kanamori, T., Horiuchi, K.: Construction of Logic Programs Based on Generalized Unfold\/Fold Rules. In: Proc. the 4th Intl. Conf. on Logic Programming, pp. 744\u2013768 (1987)"},{"key":"7_CR6","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":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19","author":"A. Pettorossi","year":"1994","unstructured":"Pettorossi, A., Proietti, M.: Transformation of Logic Programs: Foundations and Techniques. J. of Logic Programming\u00a019\/20, 261\u2013320 (1994)","journal-title":"J. of Logic Programming"},{"key":"7_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/3-540-44957-4_41","volume-title":"Computational Logic - CL 2000","author":"A. Pettorossi","year":"2000","unstructured":"Pettorossi, A., Proietti, M.: Perfect Model Checking via Unfold\/Fold Transformations. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 613\u2013628. Springer, Heidelberg (2000)"},{"issue":"3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1142\/S0129054102001175","volume":"13","author":"A. Roychoudhury","year":"2002","unstructured":"Roychoudhury, A., Narayan Kumar, K., Ramakrishnan, C.R., Ramakrishnan, I.V.: Beyond Tamaki-Sato Style Unfold\/fold Transformations for Normal Logic Programs. Int. Journal on Foundations of Computer Science\u00a013(3), 387\u2013403 (2002)","journal-title":"Int. Journal on Foundations of Computer Science"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1145\/982158.982160","volume":"26","author":"A. Roychoudhury","year":"2004","unstructured":"Roychoudhury, A., Narayan Kumar, K., Ramakrishnan, C.R., Ramakrishnan, I.V.: An Unfold\/fold Transformation Framework for Definite Logic Programs. ACM Trans. on Programming Languages and Systems\u00a026(3), 464\u2013509 (2004)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-00515-2_12","volume-title":"Logic-Based Program Synthesis and Transformation","author":"H. Seki","year":"2009","unstructured":"Seki, H.: On Negative Unfolding in the Answer Set Semantics. In: Hanus, M. (ed.) LOPSTR 2008. LNCS, vol.\u00a05438, pp. 168\u2013184. Springer, Heidelberg (2009)"},{"key":"7_CR12","unstructured":"Tamaki, H., Sato, T.: Unfold\/Fold Transformation of Logic Programs. In: Proc. 2nd Int. Conf. on Logic Programming, pp. 127\u2013138 (1984)"},{"key":"7_CR13","unstructured":"Tamaki, H., Sato, T.: A Generalized Correctness Proof of the Unfold\/Fold Logic Program Transformation, Technical Report, No. 86-4, Ibaraki Univ., Japan (1986)"}],"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\/978-3-642-12592-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T16:23:45Z","timestamp":1552494225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12592-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642125911","9783642125928"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12592-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}