Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha Kanté. Efficient First-Order Model-Checking Using Short Labels. In Franco P. Preparata, Xiaodong Wu, Jianping Yin, editors, Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings. Volume 5059 of Lecture Notes in Computer Science, pages 159-170, Springer, 2008. [doi]
Abstract is missing.