M. Angelo and A. Peron, “Logical definability of Y-tree and trellis systolic ω-languages”, Acta Cybern, vol. 15, no. 1, pp. 75-100, Jan. 2001.