Reduction of the number of possible boolean functions - Bowman, John R. (Transactions=Protokolle.(2003))