Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University - Immerman, Neil, 1953-; Κολαΐτης, Φωκίων Γ. (American Mathematical Society, 1997)