Y. Petrukhin and V. Shangin, “Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis”, LLP, vol. 28, no. 2, pp. 223–257, Jul. 2018.