On the Use of Guards for Logics with Data.

Thomas Colcombet, Clemens Ley, Gabriele Puppis

Browse the full MFCS paper archive.