Data-Complexity of the Two-Variable Fragment with Counting Quantifiers

Open in new window