J. Scott Provan: Boolean Decomposition Schemes and the Complexity of Reliability Computations. Reliability Of Computer And Communication Networks 1989: 213-228