M. Sezgin and G. Kern-Isberner, “Implementing Bounded Revision via Lexicographic Revision and C-revision”, AAAI, vol. 37, no. 5, pp. 6525-6532, Jun. 2023.