Batens, D., J. Meheus, D. Provijn, and L. Verhoeven. “Some Adaptive Logics for Diagnosis”. Logic and Logical Philosophy, no. 11-12, Nov. 2003, pp. 39-65, doi:10.12775/LLP.2003.002.