1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
2. Avron, A.: Transitive Closure and the Mechanization of Mathematics. In: Kamareddine, F. (ed.) Thirty Five Years of Automating Mathematics, pp. 149–171. Kluwer Academic Publishers, Dordrecht (2003)
3. Avron, A.: Safety Signatures for First-order Languages and Their Applications. In: Hendricks, et al. (eds.) First-Order Logic revisited. Logos Verlag, Berlin (2004)
4. Fraenkel, A., Bar-Hillel, Y., Levy, A.: Foundations of Set Theory. North-Holland, Amsterdam (1973)
5. Hallett, M.: Cantorian Set Theory and Limitation of Size. Clarendon Press, Oxford (1984)