The Expressiveness of a Family of Finite Set Languages.

Neil Immerman, Sushant Patnaik, David W. Stemple

Browse the full PODS paper archive.