Descriptive Complexity and Finite Models 1996: Princeton University