https://bookem.ir/books/2149650-Automated-Reasoning