First-Order Query Evaluation with Cardinality Conditions

New York, NY / ACM (2018) [Contribution to a book, Contribution to a conference proceedings]

PODS'18 : Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, June 10-15, 2018, Houston, TX, USA / General Chair: Jan Van den Bussche
Page(s): 253-266


Selected Authors

Grohe, Martin
Schweikardt, Nicole