Bruno Courcelle The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1990, v:49, n:3, pp:193-255 [Journal]
Qi Feng A Hierarchy of Ramsey Cardinals. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1990, v:49, n:3, pp:257-277 [Journal]