Bibtex parser: Proper name resolution.