Erich Grädel Eric Rosen On Preservation Theorems for Two-Variable Logic. 315-325 1999 45 Math. Log. Q. db/journals/mlq/mlq45.html#GradelR99