1-in-3 vs. not-all-equal: dichotomy of a broken promise - Ciardo, L; Kozik, M; Krokhin, A; Nakajima, T-V; Živný, S (ACM Transactions on Computational Logic, 2025)