Angelo, M. and Peron, A. 2001. Logical definability of Y-tree and trellis systolic ω-languages. Acta Cybernetica. 15, 1 (Jan. 2001), 75-100.