Extended MSO Model Checking via Small Vertex Integrity.

Tatsuya Gima, Yota Otachi

Browse the full ISAAC paper archive.