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