Neil Immerman. Descriptive Complexity and Model Checking. In Vikraman Arvind, Ramaswamy Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Volume 1530 of Lecture Notes in Computer Science, pages 1-5, Springer, 1998.
Abstract is missing.