Preservation theorems in finite model theory, (1995)

by E Rosen, S Weinstein
Venue:Logic and Computational Complexity,