{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:47:58Z","timestamp":1725666478009},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156697"},{"type":"electronic","value":"9783642465468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-46546-8_18","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T07:15:47Z","timestamp":1331190947000},"page":"229-237","source":"Crossref","is-referenced-by-count":1,"title":["Improvement of Recursive Programs from a Logic Programming Point of View"],"prefix":"10.1007","author":[{"given":"B.","family":"Fronh\u00f6fer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Caferra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Jacquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","first-page":"274","volume-title":"Automata theory and formal languages, LNCS 33","author":"W Bibel","year":"1975","unstructured":"Bibel W.: \u201cProgrammieren in der Sprache der Praedikatenlogik\u201d Habilitationsarbeit (rejected), TU M\u00fcnchen 1975. Shortened Version: \u201cPraedikatives Programmieren\u201d in: Automata theory and formal languages, LNCS 33, Springer, Berlin 1975, pp.274\u2013283."},{"key":"18_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.: \u201cA transformation system for developing recursive programs\u201d JACM, Vol.24 No 1, January 1977, pp.44\u201367.","journal-title":"JACM"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and data bases","author":"K Clark","year":"1978","unstructured":"Clark K.: \u201cNegation as failure\u201d in \u201cLogic and data bases\u201d (Gallaire, Minker Eds.) Plenum Press 1978, pp.293\u2013322."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/322248.322258","volume":"28","author":"CJ Hogger","year":"1981","unstructured":"Hogger C.J.: \u201cDerivation of logic programs\u201d JACM, Vol. 28, No. 2, April 1981, pp. 372\u2013392.","journal-title":"JACM"}],"container-title":["Informatik Fachberichte","GWAI-84"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-46546-8_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:38:20Z","timestamp":1620135500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-46546-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156697","9783642465468"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-46546-8_18","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}