A utility program for printing out keys from one or more BibTeX files