Yaroslav Petrukhin Vasilyi Shangin AUTOMATED PROOF-SEARCHING FOR STRONG KLEENE LOGIC AND ITS BINARY EXTENSIONS VIA