Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver. - Naumowicz, Adam (Journal of Automated Reasoning, 2015)