Frickand Grohe. Deciding First-order Properties of Locally Tree-decomposable Structures. 17 Apr. 2000.