Quantifier-eliminable locally finite graphs

Shawn Hedman, Wai Yan Pong. Quantifier-eliminable locally finite graphs. Math. Log. Q., 57(2):180-185, 2011. [doi]

Abstract

Abstract is missing.