Petrukhin, Y. and Shangin, V. (2018) “Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis”, Logic and Logical Philosophy, 28(2), pp. 223–257. doi: 10.12775/LLP.2018.009.