more

KWARC · Aug 2, 2024 · 02ca244 · 02ca244
1 parent e54a348
commit 02ca244
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 13 deletions.
diff --git a/extcrossrefs.bib b/extcrossrefs.bib
@@ -15,19 +15,6 @@ @proceedings{KIBildung23
   note = {in press},
   keywords = {conference}}
 
-@proceedings{CICM24,
-  label = {CICM},
-  editor = {Andrea Kohlhase and Laura Kovacz},
-  title = {Intelligent Computer Mathematics},
-  booktitle = {Intelligent Computer Mathematics ({CICM}) 2024},
-  publisher = {Springer},
-  series    = {LNAI},
-  SOONvolume = {},
-  year = {2024},
-  SOONisbn = {978-3-031-16680-8},
-  note = {},
-  keywords = {conference}}
-
 @proceedings{CICM22,
   label = {CICM},
   editor = {Buzzard, Kevin and Kutsia, Temur},

diff --git a/kwarccrossrefs.bib b/kwarccrossrefs.bib
@@ -1,5 +1,20 @@
 @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},
+  publisher = {Springer},
+  series    = {LNAI},
+  SOONvolume = {},
+  year = {2024},
+  SOONisbn = {978-3-031-16680-8},
+  note = {},
+  keywords = {conference},
+  pubs={akohlhase}}
+
+
 @proceedings{RATIO24,
  year = 2024,
  editor = {Philipp Cimiano and Anette Frank and Michael Kohlhase and Benno Stein},