Jeremy F. Alm, David Andrews, Michael Levet. Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture. In Roland Glück, Luigi Santocanale, Michael Winter 0001, editors, Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings. Volume 13896 of Lecture Notes in Computer Science, pages 17-33, Springer, 2023. [doi]
Abstract is missing.