Term Indexing

I V Ramakrishnan, R C Sekar, John Alan Robinson (Editor), Andrei Voronkov (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Handbook of Automated Reasoning
Publisher	Elsevier BV
Pages	1853-1964
Number of pages	112
ISBN (Print)	0-444-50813-9
Publication status	Published - 2001

Access to Document

@inbook{3c067f04b55447f781ba32757de85597,

title = "Term Indexing",

author = "Ramakrishnan, {I V} and Sekar, {R C} and Robinson, {John Alan} and Andrei Voronkov",

year = "2001",

language = "English",

isbn = "0-444-50813-9",

pages = "1853--1964",

booktitle = "Handbook of Automated Reasoning",

publisher = "Elsevier BV",

address = "Netherlands",

}