Gaifman Normal Forms for Counting Extensions of First-Order Logic.

Dietrich Kuske, Nicole Schweikardt

Browse the full ICALP paper archive.