Logical Inference Algorithms and Matrix Representations for Probabilistic Conditional Independence