First-Order Query Evaluation with Cardinality Conditions.

Martin Grohe, Nicole Schweikardt

Browse the full PODS paper archive.