https://bookem.ir/books/2561294-Grundlagen-des-maschinellen-Beweisens-Eine-Einfu-hrung-fu-r-Informatiker-und-Mathematiker