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 (Jul. 2018), 223–257. DOI:https://doi.org/10.12775/LLP.2018.009.