Karpenko AS. Four-Valued Logics BD and DM4: Expansions. B Sect Log. 2017;46(1/2):33–45. doi:10.18778/0138-0680.46.1.2.04