PETRUKHIN, Yaroslav; SHANGIN, Vasilyi. Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis. Logic and Logical Philosophy, [S. l.], v. 28, n. 2, p. 223–257, 2018. DOI: 10.12775/LLP.2018.009. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2018.009. Acesso em: 15 dec. 2025.