1. M. Ajtai and Y. Gurevich. Monotone versus positive. Journal of ACM, 34:1004–1015, 1987.
2. M. Ajtai and Y. Gurevich. DATALOG vs. first-order logic. In Proceedings 30th IEEE Symposium on Foundations of Computer Science, pages 142–146, 1989.
3. H. Andréka, J. van Benthem, and I. Németi. Submodel preservation theorems in finite variable fragments. In M. de Rijke A. Ponse and Y. Venema, editors, Modal Logic and Process Algebra. Cambridge University Press, 1994.
4. J. Barwise and J. van Benthem. Interpolation, preservation, and pebble games. Technical Report ML-96-12, ILLC, University of Amsterdam, 1996.
5. C. C. Chang and H. J. Keisler. Model theory. North Holland, 1973.