{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T03:57:06Z","timestamp":1781927826359,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540411314","type":"print"},{"value":"9783540400066","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40006-0_15","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T09:41:54Z","timestamp":1186825314000},"page":"209-223","source":"Crossref","is-referenced-by-count":10,"title":["Partially Adaptive Code Trees"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Riazanov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrei","family":"Voronkov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2000,9,19]]},"reference":[{"issue":"1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF00881866","volume":"10","author":"J. Christian","year":"1993","unstructured":"J. Christian. Flatterms, discrimination nets, and fast term rewriting. Journal of Automated Reasoning, 10(1):95\u2013113, February 1993.","journal-title":"Journal of Automated Reasoning"},{"key":"15_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/3-540-59200-8_52","volume-title":"Rewriting Techniques and Applications","author":"P. Graf","year":"1995","unstructured":"P. Graf. Substitution tree indexing. In J. Hsiang, editor, Rewriting Techniques and Applications, volume 914 of Lecture Notes in Computer Science, pages 117\u2013131, 1995."},{"issue":"2","key":"15_CR3","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF00245458","volume":"9","author":"W. W. McCune","year":"1992","unstructured":"William W. McCune. Experiments with discrimination-tree indexing and path indexing for term retrieval. Journal of Automated Reasoning, 9(2):147\u2013167, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"15_CR4","unstructured":"I.V. Ramakrishnan, R. Sekar, and A. Voronkov. Term indexing. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier Science and MIT Press, 2000. To appear."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"A. Riazanov and A. Voronkov. Vampire. In H. Ganzinger, editor, Automated Deduction\u2014CADE-16. 16th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, pages 292\u2013296, Trento, Italy, July 1999.","DOI":"10.1007\/3-540-48660-7_26"},{"key":"15_CR6","unstructured":"J.M.A. Rivero. Data Structures and Algorithms for Automated Deduction with Equality. Phd thesis, Universitat Polit\u00e8cnica de Catalunya, Barcelona, May 2000."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"G. Sutcliffe. The CADE-16 ATP system competition. Journal of Automated Reasoning, 2000. to appear.","DOI":"10.1023\/A:1006393501098"},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BF00881918","volume":"15","author":"A. Voronkov","year":"1995","unstructured":"A. Voronkov. The anatomy of Vampire: Implementing bottom-up procedures with code trees. Journal of Automated Reasoning, 15(2):237\u2013265, 1995.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40006-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T03:28:28Z","timestamp":1550719708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40006-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411314","9783540400066"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-40006-0_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}