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:
“My first reading of Tolstoy affected me as a revelation from heaven, as the trumpet of the judgment. What he made me feel was not the desire to imitate, but the conviction that imitation was futile.”
—Ellen Glasgow (1873–1945)
“I have this very moment finished reading a novel called The Vicar of Wakefield [by Oliver Goldsmith].... It appears to me, to be impossible any person could read this book through with a dry eye and yet, I don’t much like it.... There is but very little story, the plot is thin, the incidents very rare, the sentiments uncommon, the vicar is contented, humble, pious, virtuous—but upon the whole the book has not at all satisfied my expectations.”
—Frances Burney (1752–1840)