First-Order Query Evaluation with Cardinality Conditions

Martin Grohe, Nicole Schweikardt. First-Order Query Evaluation with Cardinality Conditions. In Jan Van den Bussche, Marcelo Arenas, editors, Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Houston, TX, USA, June 10-15, 2018. pages 253-266, ACM, 2018. [doi]

Abstract

Abstract is missing.