Mary McLeish A Note on Probabilistic Logic. 215-221 1988 AAAI db/conf/aaai/aaai88.html#McLeish88