bib: fix a DOI, add additional URL with paper PDF (#233)

oscar-system · Nov 27, 2024 · 8a1f775 · 8a1f775
1 parent fd477e9
commit 8a1f775
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/src/refs.bib b/docs/src/refs.bib
@@ -125,7 +125,8 @@ @Article{Eno72
   volume        = {9},
   pages         = {75--94},
   year          = {1972},
-  doi           = {0.18910/8596},
+  doi           = {10.18910/8596},
+  url           = {http://projecteuclid.org/euclid.ojm/1200693539},
   language      = {English},
   zbmath        = {3401144}
 }