Decidability of Definability.

Manuel Bodirsky, Michael Pinsker, Todor Tsankov

Browse the full LICS paper archive.