Steven Lindell Scott Weinstein The Role of Decidability in First Order Separations over Classes of Finite Structures. 45-50 2000 LICS http://www.computer.org/proceedings/lics/0725/07250045abs.htm db/conf/lics/lics2000.html#LindellW00