conflict in papers.bib resolved

circle.tex

@@ -1523,7 +1523,7 @@ \section{A reinterpretation of the circle}\label{sec:S1isC}
   is an injection for any type $X$.
   See \footnotemark{} for the Yoneda lemma in category theory.
   You are asked to prove the type theoretic variant in
-  \cref{xca:TTYoneda}.}\footcitetext{riehl2017CTiC}
+  \cref{xca:TTYoneda}.}\footcitetext{RiehlContext}
 
 We now show that the map $(\bn 1,\cst{\blank})$ 
 on the left is an equivalence. Since the codomain is connected,

papers.bib

@@ -1513,14 +1513,25 @@ @Misc{            Riehl2023
   PrimaryClass    = {math.CT}
 }
 
-@book{riehl2017CTiC,
-  title={Category Theory in Context},
-  author={Riehl, Emily},
-  isbn={9780486820804},
-  series={Aurora: Dover Modern Math Originals},
-  url={https://books.google.no/books?id=6B9MDgAAQBAJ},
-  year={2017},
-  publisher={Dover Publications}
+@Article{         RiehlShulman2017,
+  Author          = {Riehl, Emily and Shulman, Michael},
+  Title           = {A type theory for synthetic {$\infty$}-categories},
+  Journal         = {High. Struct.},
+  fjournal        = {Higher Structures},
+  Volume          = {1},
+  Year            = {2017},
+  Number          = {1},
+  Pages           = {147--224},
+  DOI             = {10.1007/s42001-017-0005-6}
+}
+
+@Book{            RiehlContext,
+  Author          = {Riehl, Emily},
+  Title           = {Category Theory in Context},
+  Year            = {2016},
+  Publisher       = {Dover Publications},
+  Series          = {Aurora: Modern Math Originals},
+  URL             = {https://math.jhu.edu/~eriehl/context/}
 }
 
 @Article{         Artin1947,