Automated Reasoning In Higher-Order Logic door Chad E. Brown