D.: Defining conditional independence using collapses. Theoretical Computer Science 101 (1992)

by S Katz, Peled