Complexity of the two-variable fragment with counting quantifiers,” (2005)

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