Indexing and searching tools for BibTeX bibliography databases
