Finite model theory (New York, NY : Springer, 2006)