Logical definability of Y-tree and trellis systolic ω-languages - Angelo Monti (2001)