W. A. Carnielli and M. E. Coniglio, “Twist-Valued Models for Three-Valued Paraconsistent Set Theory”, LLP, vol. 30, no. 2, pp. 187–226, May 2021.