@article{SN,author={Mike Stannett and Istv\'an N\'emeti},
title={Using {Isabelle/HOL} to Verify First-Order Relativity Theory},
journal={Journal of Automated Reasoning},volume=52,number=4,pages={361-378},
publisher={Springer},year=2014}
