Complexity of the Two-Variable Fragment with Counting Quantifiers (2005)

by I Pratt-Hartmann
Venue:Journal of Logic, Language and Information