(1)
Bodirsky, M.; Knäuer, S. Network Satisfaction for Symmetric Relation Algebras With a Flexible Atom. AAAI 2021, 35, 6218-6226.