Bruno Courcelle: The monadic second-order logic of graphs XV: On a conjecture by D. Seese. J. Appl. Log. 4(1): 79-114 (2006)