1. Andréka, H., Madarász, J.X., Németi, I.: Logical analysis of relativity theories. In: Hendricks, H., et al. (eds.) First-Order Logic Revisited, pp. 1–30. Logos-Verlag, Berlin (2004)
2. Andréka, H., Madarász, J.X., Németi, I., Székely, G.: Axiomatizing relativistic dynamics without conservation postulates. Stud. Logica 89(2), 163–186 (2008)
3. Wenzel, M.: The Isabelle/Isar reference manual. Online: http://isabelle.in.tum.de/dist/Isabelle2012/doc/isar-ref.pdf (2012)
4. Einstein, A.: Relativity: The Special and General Theory. Henry Holt, New York (1920)
5. Andréka, H., Madarász, J.X., Németi, I., Székely, G.: A logic road from special relativity to general relativity. Synthese 186(3), 633–649 (2012)