{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:24:12Z","timestamp":1742941452704,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164517"},{"type":"electronic","value":"9783642711459"}],"license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71145-9_12","type":"book-chapter","created":{"date-parts":[[2011,11,15]],"date-time":"2011-11-15T13:40:16Z","timestamp":1321364416000},"page":"153-163","source":"Crossref","is-referenced-by-count":0,"title":["Vermeidung \u00fcberfl\u00fcssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen"],"prefix":"10.1007","author":[{"given":"Astrid","family":"Schm\u00fccker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Colloquium on Mathematical Logic in Programming","author":"M Bruynooghe","year":"1978","unstructured":"Bruynooghe, M.: Intelligent Backtracking for an Interpreter of Horn Clause Logic Programs. Colloquium on Mathematical Logic in Programming, Salgotarjan, Hungary, 1978."},{"key":"12_CR2","first-page":"539","volume-title":"AND-Parallelism in logic programs","author":"JS Cornery","year":"1983","unstructured":"Cornery, J.S., Kibler, D.F.: AND-Parallelism in logic programs. Proc. Of the 8th International joint Conference on Artifical Intelligence, Karlsruhe 1983, s.539\u2013543."},{"key":"12_CR3","first-page":"471","volume-title":"Restrictede AND-Parallelism","author":"D de Groot","year":"1984","unstructured":"De Groot, D.: Restrictede AND-Parallelism. Proc. of the International Conference on Fifth Generation Computer Systems 1984, s. 471\u2013478."},{"key":"12_CR4","volume-title":"Tree Templates and Subtree Transformational Grammers","author":"HH Kron","year":"1975","unstructured":"Kron, H.H.: Tree Templates and Subtree Transformational Grammers. PhD. Thesis, University of California, Santa cruz, 1975."},{"key":"12_CR5","first-page":"74","volume-title":"Predicate Logic as a Programming Language","author":"RA de Kowalski","year":"1974","unstructured":"Kowalski, R.A.: Predicate Logic as a Programming Language. Proc. IFIPS 74, 1974."},{"key":"12_CR6","volume-title":"Logic for Problem Solving","author":"RA Kowalski","year":"1979","unstructured":"Kowalski, R.A.: Logic for Problem Solving. Elsevier-North-Holland, New York, 1979."},{"key":"12_CR7","volume-title":"An Interpreter of Logic Programs Using Selective Backtracking","author":"LM Pereira","year":"1980","unstructured":"Pereira, L.M., Porto, A.: An Interpreter of Logic Programs Using Selective Backtracking. Report 3\/80, Departmento de Informatica, Universidade de Lisboa, 1980."}],"container-title":["Informatik-Fachberichte","GWAI-85"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71145-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T17:45:13Z","timestamp":1683827113000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-71145-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164517","9783642711459"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71145-9_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}