The Expressiveness of a Family of Finite Set Languages (1991)

by Neil Immerman, Sushant Patnaik, David Stemple
Venue:IN PROCEEDINGS OF 10TH ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS