Merge branch 'master' of github.com:KWARC/bibs

KWARC · Dec 11, 2024 · d678201 · d678201
2 parents dbf58e7 + 46ca821
commit d678201
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/kwarc.bib b/kwarc.bib
@@ -60,6 +60,12 @@ @STRING{wil
 @STRING{spring   = "Springer-Verlag"}
 @STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
 
+@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",
+  pages = "223--240"}
+
 @online{Ranta:atcp17, 
   title= {Automatic Translation for Consumers and Producers},
   author = {Aarne Ranta},