M. Bodirsky and S. Knäuer, “Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom”, AAAI, vol. 35, no. 7, pp. 6218-6226, May 2021.