PETRUKHIN, Yaroslav and SHANGIN, Vasilyi. Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis. Logic and Logical Philosophy. Online. 6 July 2018. Vol. 28, no. 2, p. 223–257. [Accessed 18 July 2024]. DOI 10.12775/LLP.2018.009.