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

Steven Lindell, Scott Weinstein

Browse the full LICS paper archive.