https://bipylaxemija.mkstores-eg.com/a-resolution-style-proof-procedure-for-higher-order-logic-book-753vf.php