From 0f52a34cb3b3b26d0d5b9900ffe4202ddc1c3b02 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Fri, 28 Jun 2024 07:40:16 -0400
Subject: [PATCH] docs: Add another reference

---
 HepLean/AnomalyCancellation/MSSMNu/B3.lean     |  2 +-
 .../AnomalyCancellation/MSSMNu/LineY3B3.lean   |  3 +--
 docs/references.bib                            | 18 +++++++++++++++++-
 3 files changed, 19 insertions(+), 4 deletions(-)

diff --git a/HepLean/AnomalyCancellation/MSSMNu/B3.lean b/HepLean/AnomalyCancellation/MSSMNu/B3.lean
index 7b0cef4..7bb1bfc 100644
--- a/HepLean/AnomalyCancellation/MSSMNu/B3.lean
+++ b/HepLean/AnomalyCancellation/MSSMNu/B3.lean
@@ -13,7 +13,7 @@ We define `B₃` and show that it is a double point of the cubic.
 
 The main reference for the material in this file is:
 
-- https://arxiv.org/pdf/2107.07926.pdf
+[Allanach, Madigan and Tooby-Smith][Allanach:2021yjy]
 
 -/
 
diff --git a/HepLean/AnomalyCancellation/MSSMNu/LineY3B3.lean b/HepLean/AnomalyCancellation/MSSMNu/LineY3B3.lean
index 968f8e3..2d2a26e 100644
--- a/HepLean/AnomalyCancellation/MSSMNu/LineY3B3.lean
+++ b/HepLean/AnomalyCancellation/MSSMNu/LineY3B3.lean
@@ -17,8 +17,7 @@ is a solution to the quadratic  `lineY₃B₃Charges_quad` and a double point of
 # References
 
 The main reference for the material in this file is:
-
-- https://arxiv.org/pdf/2107.07926.pdf
+[Allanach, Madigan and Tooby-Smith][Allanach:2021yjy]
 
 -/
 
diff --git a/docs/references.bib b/docs/references.bib
index e65cad7..c99cd7f 100644
--- a/docs/references.bib
+++ b/docs/references.bib
@@ -1,9 +1,25 @@
-
 # To normalize:
 # bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i docs/references.bib -o docs/references.bib
 
+# When possible, please use the reference obtained from InspireHep. 
+
 # To link to an entry in `references.bib`, use the following formats:
 #   [Author, *Title* (optional location)][bibkey]
+
+@Article{         Allanach:2021yjy,
+  author        = "Allanach, B. C. and Madigan, Maeve and Tooby-Smith,
+                  Joseph",
+  title         = "{A \ensuremath{\nu} supersymmetric anomaly-free atlas}",
+  eprint        = "2107.07926",
+  archiveprefix = "arXiv",
+  primaryclass  = "hep-ph",
+  doi           = "10.1007/JHEP02(2022)144",
+  journal       = "JHEP",
+  volume        = "02",
+  pages         = "144",
+  year          = "2022"
+}
+
 @Article{         Lohitsiri:2019fuu,
   author        = "Lohitsiri, Nakarin and Tong, David",
   title         = "{Hypercharge Quantisation and Fermat's Last Theorem}",