Erich Grädel Eric Rosen Two-Variable Descriptions of Regularity. 14-23 1999 LICS http://computer.org/conferen/proceed/lics/0158/01580014abs.htm db/conf/lics/lics99.html#GradelR99