Descriptive complexity and finite models : proceedings of a DIMACS Workshop January 14-17, 1996 Princeton University - Immerman, Neil; Κωλέτης, Φωκίων Γ (DIMACS series in discrete mathematics and theoretical computer science ; ;, 1997)