Steven Lindell Scott Weinstein The Role of Decidability in First Order Separations over Classes of Finite Structures. 45-50 2000 conf/lics/2000 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2000.855754 db/conf/lics/lics2000.html#LindellW00