D. Batens, J. Meheus, D. Provijn, and L. Verhoeven, “Some adaptive logics for diagnosis”, LLP, no. 11-12, pp. 39–65, Nov. 2003.