Smallest formulas for the parity of \(2^k\) variables are essentially unique
scientific article; zbMATH DE number 5717745