Finite model theory - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jörg 1944- (Springer, 2006)
Literaturverz. S. 339 - 347