A formal approach to finding explanations for database queries
Probabilistic reasoning in intelligent systems: Networks of plausible inference