Yuri Gurevich Neil Immerman Saharon Shelah 10-19 conf/lics/LICS9 1994 LICS db/conf/lics/lics94.html#GurevichIS94