Gregory M. Provan: Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning. UAI 1995: 464-471