latex-ontology-editing The bib_reduction folder contains a script that, given a tex file and a bib file, it outputs a bib file with exactly all bibliographical entries that are in the input bib file and are cited in the tex file.