RelBib: Necessarily Coextensive Predicates and Reduction https://relbib.de/Record/1684114985/Description