A. S. Karpenko, “Four-Valued Logics BD and DM4: Expansions”, B Sect Log, vol. 46, no. 1/2, pp. 33–45, Jun. 2017.