Logical Definability of Some Rational Trace Languages. - Christian Choffrut; Leucio Guerra (Math. Syst. Theory, 1995)

Generalized Rational Relations and their Logical Definability. - Christian Choffrut; Leucio Guerra (FCT, 1997)