A Model-Theoretic Approach to Regular String Relations.

Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin

Browse the full LICS paper archive.