Moshe Y. Vardi. Model Checking for Database Theoreticians. In Thomas Eiter, Leonid Libkin, editors, Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings. Volume 3363 of Lecture Notes in Computer Science, pages 1-16, Springer, 2005. [doi]
Abstract is missing.