Monotone switching circuits and Boolean matrix product
scientific article; zbMATH DE number 3506571