Batens, D., Meheus, J., Provijn, D., & Verhoeven, L. (2003). Some adaptive logics for diagnosis. Logic and Logical Philosophy, (11-12), 39–65. https://doi.org/10.12775/LLP.2003.002