Towards Optimizing Reiter's HS-Tree for Sequential Diagnosis