A logical characterization of data languages.
scientific article; zbMATH DE number 1856456