[bediger4000]

The first section I looked in, "combinatory_logic", had one paper related to combinatory logic, and a Knuth paper on combinatorics. Different subject altogether. I hope the categorization is generally more accurate.