https://intlibrary.ir/download/higher-order-logic-theorem-proving-and-its-ap-74442/