{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T13:02:49Z","timestamp":1794402169006,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540168089","type":"print"},{"value":"9783642713859","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71385-9_29","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:20:41Z","timestamp":1320214841000},"page":"289-300","source":"Crossref","is-referenced-by-count":1,"title":["Knuth-Bendix Completion Versus Fold\/Unfold: A Comparative Study in Program Synthesis"],"prefix":"10.1007","author":[{"given":"Bertram","family":"Fronh\u00f6fer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ulrich","family":"Furbach","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"29_CR1","volume-title":"Outline of a transformation system TUM-INFO-7729","author":"FL Bauer","year":"1977","unstructured":"Bauer, F.L., Partsch, H., Pepper, P., W\u00f6ssner, H.: Notes on the project CIP: Outline of a transformation system, TUM-INFO-7729, 1977."},{"issue":"1","key":"29_CR2","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R Burstall","year":"1977","unstructured":"Burstall, R., Darlington, J.: A transformation system for developing recursive programs, JACM,Vol. 24 No 1, January 1977,pp. 44\u201367.","journal-title":"Jacm"},{"key":"29_CR3","volume-title":"Equations as Programming Language, Conference on Information Technology","author":"N Dershowitz","year":"1984","unstructured":"Dershowitz, N.: Equations as Programming Language, Conference on Information Technology, Jerusalem, Israel, May 1984."},{"key":"29_CR4","unstructured":"Dershowitz, N.: Synthesis by completion, IJCAI-85, pp. 208\u2013214."},{"key":"29_CR5","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-642-46546-8_18","volume":"103","author":"B Fronhoefer","year":"1956","unstructured":"B.Fronhoefer, R.Caferra, P.Jacquet: Improvement of recursive programs from a logic programming point of view, GWAI-84, Informatik-Fachberichte 103, pp. 229\u2013237","journal-title":"Informatik-Fachberichte"},{"key":"29_CR6","volume-title":"Universit\u00e4t der Bundeswehr M\u00fcnchen","author":"U Furbach","year":"1983","unstructured":"Furbach, U.: Ueber Transformationsregeln fuer nicht deterministische rekursive Funktionsdefinitionen, Diss. Universit\u00e4t der Bundeswehr M\u00fcnchen, 1983."},{"issue":"2","key":"29_CR7","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/322248.322258","volume":"28","author":"CJ Hogger","year":"1981","unstructured":"Hogger, C.J.: Derivation of logic programs, JACM,Vol. 28,No. 2, April 1981, pp. 372\u2013392.","journal-title":"Jacm"},{"key":"29_CR8","first-page":"263","volume-title":"Simple word problems in universal algebra, Proc. of the Conf. on Computational Problems in Abstract Algebra 1967","author":"DE Knuth","year":"1970","unstructured":"Knuth, D. E., Bendix, P. B.: Simple word problems in universal algebra, Proc. of the Conf. on Computational Problems in Abstract Algebra 1967, (ed. by J. Leech ), Pergamon Press, Oxford 1970, 263\u2013298."},{"key":"29_CR9","volume-title":"Journee Bigre","author":"Y Kodratoff","year":"1983","unstructured":"Kodratoff, Y., Picard, M.: Completion de systeme de reecriture et synthese de programmes a partir de leur specification, Journee Bigre 1983."},{"key":"29_CR10","unstructured":"Kott, L.: Des substitution dans les systemes d\u2019equations algebriques sur le magma. Application aux transformations de programmes et a leur correction. These de doctorat d\u2019etat, Paris V II, 1979."},{"key":"29_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357084.357090","volume":"2","author":"Z Manna","year":"1980","unstructured":"Manna, Z., Waldinger, R.: A deductive approach to program synthesis, ACM Trans. on programming languages and systems 2, 1, 1980.","journal-title":"ACM Trans. on programming languages and systems"},{"key":"29_CR12","unstructured":"Perdrix, H.: Synthese de programmes a partir de leurs specifications, Rap. de rech. No 187, Univ. Paris-Sud, Lab. de Rech. en Inform."},{"key":"29_CR13","unstructured":"Schmitz, L.: Observations made when synthesizing transitive closure algorithms. In: Tagungsber. 2\/1979, Math. Forschungsinstitut Oberwolfach, Formale Methoden und math. Hilfsmittel f\u00fcr die Softwarekonstruktion."}],"container-title":["Informatik-Fachberichte","GWAI-86 und 2. \u00d6sterreichische Artificial-Intelligence-Tagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71385-9_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T18:12:15Z","timestamp":1606241535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71385-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168089","9783642713859"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71385-9_29","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-71385-9","asserted-by":"object"}]},"ISSN":["0343-3005"],"issn-type":[{"value":"0343-3005","type":"print"}],"subject":[],"published":{"date-parts":[[1986]]}}}