https://intlibrary.ir/download/automated-reasoning-with-analytic-tableaux-and-rel-61616/