Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes.

Ignasi Sau, Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, Dimitrios M. Thilikos, Alexandre Vigny

Browse the full LICS paper archive.