S. Pkhakadze, H. Tompits: "Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic"; Axioms, 9 (2020), 3.
http://dx.doi.org/10.3390/axioms9030084
https://www.mdpi.com/2075-1680/9/3/84/pdf