urls and page numbers for 2023 papers

KWARC · Jul 26, 2024 · 8559d98 · 8559d98
1 parent 2ed7cf3
commit 8559d98
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/kwarcpubs.bib b/kwarcpubs.bib
@@ -88,6 +88,7 @@ @inproceedings{PanzerSchaefer:AnnoTize23
   author = {Lukas Panzer and Jan Frederik Schaefer},
   note = {accepted},
   crossref={MathUI23},
+  url = {https://kwarc.info/people/jfschaefer/pubs/2023-annotize-mathui.pdf},
   year = {2023},
   pubs = {jfschaefer}
   }
@@ -193,6 +194,8 @@ @inproceedings{SchKoh:sb23
   author = {Jan Frederik Schaefer and Michael Kohlhase},
   title = {Towards an Annotation Standard for {STEM} Documents -- Datasets, Benchmarks, and Spotters},
   crossref = {CICM23},
+  pages = {190--205},
+  url = {https://kwarc.info/people/jfschaefer/pubs/2023-spotterbase-cicm.pdf},
   pubs = {jfschaefer,mkohlhase}
   }