Karpenko, A. S. (2017). Four-Valued Logics BD and DM4: Expansions. Bulletin of the Section of Logic, 46(1/2), 33–45. https://doi.org/10.18778/0138-0680.46.1.2.04