{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:38:09Z","timestamp":1725626289768},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540128717"},{"type":"electronic","value":"9783642693915"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69391-5_17","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T10:13:31Z","timestamp":1319710411000},"page":"189-196","source":"Crossref","is-referenced-by-count":3,"title":["Unifikationsgraphen f\u00fcr Intelligentes Backtracking in Deduktionssystemen"],"prefix":"10.1007","author":[{"given":"Werner","family":"Dilger","sequence":"first","affiliation":[]},{"given":"Agnes","family":"Janson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","first-page":"293","volume-title":"Analysis of dependencies to improve the behaviour of logic programs","author":"M Bruynooghe","year":"1980","unstructured":"M. Bruynooghe, \u201cAnalysis of dependencies to improve the behaviour of logic programs\u201d, Proc, 5th Conference on Automated Deduction, Lecture Notes in Computer Science 87, Springer, New York, 1980, 293\u2013305."},{"key":"17_CR2","volume-title":"On determining the causes of nonunifiability","author":"PT Cox","year":"1981","unstructured":"P.T. Cox, \u201cOn determining the causes of nonunifiability\u201d, Aukland Computer Science Report No. 23, University of Aukland, 1981."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"P.T. Cox, T. Pietrzykowski, \u201cDeduction plans: a basis for intelligent backtracking\u201d, IEEE Transactions on Pattern Analysis and Machine Intelligence, 3 (1), 1981.","DOI":"10.1109\/TPAMI.1981.4767050"},{"key":"17_CR4","volume-title":"Intelligentes Backtracking in Deduktionssystemen","author":"A Janson","year":"1983","unstructured":"A. Janson, \u201cIntelligentes Backtracking in Deduktionssystemen\u201d, Diplomarbeit, Universit\u00e4t Kaiserslautern, 1983."},{"key":"17_CR5","first-page":"223","volume-title":"Exponential improvement of exhaustive backtracking: a strategy for plan-based deduction","author":"S Matwin","year":"1982","unstructured":"S. Matwin, T. Pietrzykowski, \u201cExponential improvement of exhaustive backtracking: a strategy for plan-based deduction\u201d, Proc, 6th Conference on Automated Deduction, Lecture Notes in Computer Science, Springer, New York, 1982, 223\u2013239."},{"key":"17_CR6","first-page":"240","volume-title":"Exponential improvement of exhaustive backtracking: data structure and implementation","author":"S Matwin","year":"1982","unstructured":"S. Matwin, T. Pietrzykowski, \u201cExponential improvement of exhaustive backtracking: data structure and implementation\u201d, Proc. 6th Conference on Automated Deduction, Lecture Notes in Computer Science, Springer, New York, 1982, 240\u2013259."},{"key":"17_CR7","first-page":"306","volume-title":"Selective backtracking for logic programs","author":"LM Pereira","year":"1980","unstructured":"L.M. Pereira, A. Porto, \u201cSelective backtracking for logic programs\u201d, Proc. 5th Conference on Automated Deduction, Lecture Notes in Computer Science 87, Springer, New York, 1980, 306\u2013317."},{"key":"17_CR8","volume-title":"A logic-in-logic interpreter","author":"PE Vasey","year":"1980","unstructured":"P.E. Vasey, \u201cA logic-in-logic interpreter\u201d, M.Sc. Thesis, Dept. of Computing and Control, Imperial College, London, 1980."}],"container-title":["Informatik-Fachberichte","GWAI-83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69391-5_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:33:37Z","timestamp":1606257217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69391-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540128717","9783642693915"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69391-5_17","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}