Logical and algorithmic properties of conditional G (1993)

by D eiger, J Pearl