arXiv 2000-04-17 EN Deciding first-order properties of locally tree-decomposable structures Frick, Markus · Grohe, Martin
