Testing for existence of a covering Boyce-Codd normal form
scientific article; zbMATH DE number 3639187