@misc{indiciae7f8e1845b539,
  title = {Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four body problem},
  author = {J. D. Mireles James and Maxime Murray},
  year = {2022},
  url = {https://arxiv.org/abs/2212.00930},
  note = {Source identifier: 2212.00930}
}