Sufficient Conditions for First−Order and Datalog Rewritability in ELU - Kaminski, M; Grau, B (2013)