1. Alexandrov, A. D.: On foundations of space-time geometry. I., Soviet Math. Dokl., 15, 1974, 1543–1547
2. Andréka, H. and Goranko, V. and Mikulás, Sz. and Németi, I. and Sain, I.: Effective first order temporal logics, in Time and Logic, a computational approach, Ed. by L. Bolc and A. Szałas, UCL Press Ltd., London, 1995, 51–129
3. Andréka, H. and Madarász, J. X. and Németi, I.: Logical analysis of special relativity, in JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Gerbrandy, J. and Marx, M. and de Rijke, M. and Venema, Y., editor, Vossiuspers, Amsterdam University Press, http://www.wins.uva.nl/~j50/cdrom, 1999, CD-ROM, ISBN: 90 5629 104 1, 23pp
4. Andréka, H. and Madarász, J. X. and Németi, I.: Logical analysis of relativity theories, In Hendricks et al., editor, First Order Logic Revisited, Logos Verlag Berlin, 2004, 7–36
5. Andréka, H. and Madarász, J. X. and Németi, I.: On the logical structure of relativity theories, Alfréd Rényi Institute of Mathematics, Hungar. Acad. Sci., Budapest, Research Report, July 5, 2002, with contributions from A. Andai, G. Sági, I. Sain and Cs. Tőke. http://www.math-inst.hu/pub/algebraiclogic/Contents.html. 1312 pp.