{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:02Z","timestamp":1725663002883},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164791"},{"type":"electronic","value":"9783540398202"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16479-0_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:45:10Z","timestamp":1330195510000},"page":"44-55","source":"Crossref","is-referenced-by-count":0,"title":["Heuristics applied in tree manipulation algorithm synthesis"],"prefix":"10.1007","author":[{"given":"Etsuo","family":"Itoh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Nakagawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"Burstall R.M., Darlington J. (1977) A Transformation System for Developing Recursive Programs. JACM 24: 44\u201367","journal-title":"JACM"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Darlington J. (1981) An Experimental Program Transformation and Synthesis System. Artificial Intelligence 16.","DOI":"10.1016\/0004-3702(81)90014-X"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/322248.322258","volume":"28","author":"C. J. Hogger","year":"1982","unstructured":"Hogger C.J. (1982) Derivation of Logic Programs. JACM 28: 372\u2013392","journal-title":"JACM"},{"key":"5_CR4","unstructured":"Knuth D.E. (1981) The Art of Computer Programing, Vol 1. Addison-Wesley."},{"key":"5_CR5","unstructured":"Nakamura N., Nakagawa H. (1984) Transformation of Prolog Program with Heuristics. Proc. of the Logic Programming Conference '84."},{"key":"5_CR6","unstructured":"Sato T. (1984) Transformational Logic Program Synthesis. Proc. of FGCS '84."},{"key":"5_CR7","unstructured":"Sato T., Tamaki H. (1983) Transformation in Prolog. Proc. of Logic Programming Conference '83."},{"key":"5_CR8","unstructured":"Tamaki H., Sato T. (1984) Unfold\/Fold Transformation of Logic Programs. Proc. of the 2nd International Logic Programming Conference."},{"key":"5_CR9","unstructured":"Tarlund S.A., Hasson A. (1982) Program Transformation by Data Structure Mapping. LOGIC PROGRAMMING. Academic-Press."}],"container-title":["Lecture Notes in Computer Science","Logic Programming '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16479-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:04:14Z","timestamp":1619557454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16479-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164791","9783540398202"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-16479-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}