Approximation Schemes for First−Order Definable Optimisation Problems - Dawar, S; Grohe, M (2006)