Computing unique canonical covers for simple FDs via transitive reduction
scientific article; zbMATH DE number 5599151