https://123dok.net/document/q7w7959o-towards-more-effective-tableaux-reasoning-for-ckr.html