Deciding first-order properties of locally tree-decomposable structures
scientific article