Decidability of definability - Manuel Bodirsky; Michael Pinsker; Todor Tsankov (2010)