[skip ci] Auto-generated kwarc.bib for commit d678201

KWARC · Dec 11, 2024 · ba887cc · ba887cc
1 parent d678201
commit ba887cc
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/kwarc.bib b/kwarc.bib
@@ -62,8 +62,8 @@ @STRING{JWS
 
 @InProceedings{VreWelKam:tsmmdui24,
   author = "Vre{\v{c}}ar, Luka and Wells, Joe and Kamareddine, Fairouz",
-  crossref = {CICM24},
   title = "Towards Semantic Markup of Mathematical Documents via User Interaction",
+  crossref = {CICM24},
   pages = "223--240"}
 
 @online{Ranta:atcp17, 
@@ -55864,7 +55864,6 @@ @inproceedings{AdrianKohlhaseRapp:ContextGrahps21
 @STRING{krcmessage = "READ the README please!!!!!!!!!!!!!!"}
 
 @proceedings{CICM24,
-  label = {CICM},
   editor = {Andrea Kohlhase and Laura Kovacz},
   title = {Intelligent Computer Mathematics},
   booktitle = {Intelligent Computer Mathematics ({CICM}) 2024},