Carnielli, W. A.; Coniglio, M. E. Twist-Valued Models for Three-Valued Paraconsistent Set Theory. LLP 2021, 30, 187-226.