Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes.

Petr A. Golovach, Giannos Stamoulis, Dimitrios M. Thilikos

Browse the full SODA paper archive.