Schutz' Independent Axioms for Minkowski Spacetime. - Richard Schmoetten; Jake E. Palmer; Jacques D. Fleuriot (Arch. Formal Proofs, 2021)

Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. - Richard Schmoetten; Jake E. Palmer; Jacques D. Fleuriot (ADG, 2021)

Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. - Richard Schmoetten; Jake E. Palmer; Jacques D. Fleuriot (J. Autom. Reason., 2022)

Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL. - Richard Schmoetten; Jake E. Palmer; Jacques D. Fleuriot (J. Autom. Reason., 2023)