TY - RPRT TI - The First Order Definability of Graphs: Upper Bounds for Quantifier Rank AU - Oleg Pikhurko AU - Helmut Veith AU - Oleg Verbitsky PY - 2003 UR - https://arxiv.org/abs/math/0311041 ID - math/0311041 ER -