Jouko A. Väänänen Unary Quantifiers on Finite Models. 275-304 1997 6 Journal of Logic, Language and Information 3 db/journals/jolli/jolli6.html#Vaananen97