Stav dette: Boolean matrix theory and applications