The first order definability of graphs: Upper bounds for quantifier depth

Oleg Pikhurko, Helmut Veith, Oleg Verbitsky. The first order definability of graphs: Upper bounds for quantifier depth. Discrete Applied Mathematics, 154(17):2511-2529, 2006. [doi]

Abstract

Abstract is missing.