Combining Higher-Order Logic with Set Theory Formalizations. - Kaliszyk, Cezary; Pąk, Karol (Journal of Automated Reasoning, 2023)