S. P. Odintsov and S. O. Speranski, “On algorithmic properties of propositional inconsistency-adaptive logics”, LLP, vol. 21, no. 3, pp. 209–228, Aug. 2012.