Quantifier-eliminable locally finite graphs
We identify the locally finite graphs that are quantifier-eliminable and their first order theories in the signature of distance predicates.  2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
quantifier-elimination ultra-homogeneous locally finite relational structures msc (2010) 03c10 05c75