{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:14Z","timestamp":1725484814220},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_15","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:30:22Z","timestamp":1180560622000},"page":"140-148","source":"Crossref","is-referenced-by-count":6,"title":["Equivalent Transformation by Safe Extension of Data Structures"],"prefix":"10.1007","author":[{"given":"Kiyoshi","family":"Akama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidekatsu","family":"Koike","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Mabuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"15_CR1","unstructured":"A\u00eft-Kaci, H. and Nasr, R., LOGIN: A Logic Programming Language with Built-In Inheritance, The Journal of Logic Programming, 3 (1986)."},{"issue":"4","key":"15_CR2","first-page":"27","volume":"28","author":"K. Akama","year":"1987","unstructured":"Akama, K., PAL: An Extended Prolog with Inheritance Hierarchy, information processing society of Japan, Vol.28 No.4 pp.27\u201334 (1987).","journal-title":"information processing society of Japan"},{"issue":"5","key":"15_CR3","first-page":"45","volume":"12","author":"K. Akama","year":"1995","unstructured":"Akama, K., Nomura, Y., and Miyamoto, E., Semantic Interpretation of Natural Languages by Program Transformation, Computer Software, Vol.12, No.5, pp.45\u201362 (1995).","journal-title":"Computer Software"},{"issue":"2","key":"15_CR4","first-page":"90","volume":"12","author":"K. Akama","year":"1997","unstructured":"Akama, K., Shigeta, Y., and Miyamoto, E., A Framework of Problem Solving by Equivalent Transformation of Logic Program, J. Japan Soc. Artif. Intell., Vol.12, No.2, pp.90\u201399 (1997).","journal-title":"J. Japan Soc. Artif. Intell."},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0743-1066(87)90010-0","volume":"4","author":"D. R. Brough","year":"1987","unstructured":"Brough, D. R. and Hogger, C. J., Compiling Associativity into Logic Programs, The Journal of Logic Programming, Vol.4, pp.345\u2013359 (1987).","journal-title":"The Journal of Logic Programming"},{"key":"15_CR6","unstructured":"Hentenryck, V., Constraint Satisfaction in Logic Programming, The MIT Press (1989)."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., Foundations of Logic Programming, Second edition, Springer-Verlag (1987).","DOI":"10.1007\/978-3-642-83189-8"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/BF03037156","volume":"11","author":"K. Marriot","year":"1993","unstructured":"Marriot, K. and Sondergaad, H., Difference-List Transformation for Prolog, New Generation Computing, Vol.11, pp.125\u2013177(1993).","journal-title":"New Generation Computing"},{"issue":"20","key":"15_CR9","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. and Proietti, M., Transformation of Logic Programs: Foundations and Techniques, The Journal of Logic Programming, Vol.19\/20, 1994, pp.261\u2013320.","journal-title":"The Journal of Logic Programming"},{"key":"15_CR10","unstructured":"Wirth, N., Algorithms + Data Structures = Programs, Prentice-Hall (1976)."},{"key":"15_CR11","unstructured":"Zhang, J. and Grant, P. W., An Automatic Di.erence-List Transformation Algorithm for Prolog, Proc. 1988 European Conference on Artificial Intelligence (ECAI\u201988), pp.320\u2013325 (1988)."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:29:52Z","timestamp":1550348992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}