An algorithm to minimize representations of finite order relations
scientific article; zbMATH DE number 35164