Bodirsky, M. and Knäuer, S. (2021) “Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), pp. 6218-6226. doi: 10.1609/aaai.v35i7.16773.