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