Two-variable descriptions of regularity (1999)

by E Gradel, E Rosen
Venue:In Proc. 14th Annual Symposium on Logic in Computer Science (LICS-99