Carnielli, W. A., and M. E. Coniglio. “Twist-Valued Models for Three-Valued Paraconsistent Set Theory”. Logic and Logical Philosophy, vol. 30, no. 2, May 2021, pp. 187-26, doi:10.12775/LLP.2020.015.