The modular decomposition of countable graphs. Definition and construction in monadic second-order logic

Bruno Courcelle, Christian Delhommé. The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. Theoretical Computer Science, 394(1-2):1-38, 2008. [doi]

Abstract

Abstract is missing.