A Bunched Logic for Conditional Independence - 42Papers