The Role of Decidability in First Order Separations over Classes of Finite Structures

Steven Lindell, Scott Weinstein. The Role of Decidability in First Order Separations over Classes of Finite Structures. In LICS. pages 45-50, 2000. [doi]