Symbolic reasoning in model-based diagnosis: efficient and effective information processing by