@book{fmt1999-EF, author = {Ebbinghaus, Heinz-Dieter and Flum, J{\"o}rg}, title = {Finite Model Theory}, publisher = {Springer-Verlag}, year = {1995}, }