Bruno Courcelle, Christian Delhommé. The modular decomposition of countable graphs. Definition and construction in monadic second-order logic.
Theoretical Computer Science, Elsevier, 2008, 394 (1-2), pp.1-38.
〈10.1016/j.tcs.2007.10.046〉.
〈hal-01186190〉