Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes.

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

Browse the full LICS paper archive.