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