Further Reading
- P. Graf, Term Indexing, Lecture Notes in Computer Science 1053, 1996 (slightly outdated overview)
- R. Sekar and I.V. Ramakrishnan and A. Voronkov, Term Indexing, in A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume 2, 2001 (recent overview)
- W. W. McCune, Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval, Journal of Automated Reasoning, 9(2), 1992
- P. Graf, Substitution Tree Indexing, Proc. of RTA, Lecture Notes in Computer Science 914, 1995
- M. Stickel, The Path Indexing Method for Indexing Terms, Tech. Rep. 473, Artificial Intelligence Center, SRI International, 1989
- S. Schulz, Simple and Efficient Clause Subsumption with Feature Vector Indexing, Proc. of IJCAR-2004 workshop ESFOR, 2004
- A. Riazanov and A. Voronkov, Partially Adaptive Code Trees, Proc. JELIA, Lecture Notes in Artificial Intelligence 1919, 2000
- H. Ganzinger and R. Nieuwenhuis and P. Nivela, Fast Term Indexing with Coded Context Trees, Journal of Automated Reasoning, 32(2), 2004
- A. Riazanov and A. Voronkov, Efficient Instance Retrieval with Standard and Relational Path Indexing, Information and Computation, 199(1–2), 2005
Read more about this topic: Term Indexing
Famous quotes containing the word reading:
“There are women in middle life, whose days are crowded with practical duties, physical strain, and moral responsibility ... they fail to see that some use of the mind, in solid reading or in study, would refresh them by its contrast with carking cares, and would prepare interest and pleasure for their later years. Such women often sink into depression, as their cares fall away from them, and many even become insane. They are mentally starved to death.”
—Ellen Henrietta Swallow Richards (1842–1911)
“The unlucky hand dealt to clear and precise writers is that people assume they are superficial and so do not go to any trouble in reading them: and the lucky hand dealt to unclear ones is that the reader does go to some trouble and then attributes the pleasure he experiences in his own zeal to them.”
—Friedrich Nietzsche (1844–1900)