Logical Definability of Counting Functions (1996)

by K Compton, E Grädel
Venue:Journal of Computer and System Sciences 53