David A. Mix Barrington Neil Immerman Clemens Lautemann Nicole Schweikardt Denis Thérien The Crane Beach Conjecture. 187-196 2001 LICS db/conf/lics/lics2001.html#BarringtonILST01