Uniformisation of Regular Relations in First-Order Logic with Two Variables.

Nathan Lhote, Vincent Michielini, Michal Skrzypczak

Browse the full LICS paper archive.