(1)
Petrukhin, Y.; Shangin, V. Automated Proof-Searching for Strong Kleene Logic and Its Binary Extensions via Correspondence Analysis. LLP 2018, 28, 223–257.