Adam Naumowicz. Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver. Journal of Automated Reasoning, 55(3):285-294, 2015. [doi]
@article{Naumowicz15-0, title = {Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver}, author = {Adam Naumowicz}, year = {2015}, doi = {10.1007/s10817-015-9332-6}, url = {http://dx.doi.org/10.1007/s10817-015-9332-6}, researchr = {https://researchr.org/publication/Naumowicz15-0}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {55}, number = {3}, pages = {285-294}, }