. . "The tools include Infomine (link here), the product of a consortium of libraries that taps stuff stored in databases, electronic journals, electronic books, bulletin boards, mailing lists, online library card catalogs, articles, directories of researchers, and other resources." . . . . .