https://intlibrary.ir/download/symbolic-and-quantitative-approaches-to-reasoning--46568/