1.
Petrukhin Y, Shangin V. Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis. LLP [Internet]. 2018 Jul. 6 [cited 2024 Mar. 29];28(2):223–257. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2018.009