From 46ca821485df63e123df8e7f57fd66a478f4573a Mon Sep 17 00:00:00 2001
From: GitHub Action <kohlhase@users.noreply.github.com>
Date: Wed, 11 Dec 2024 13:18:48 +0000
Subject: [PATCH] [skip ci] Auto-generated kwarc.bib for commit 45d4309

---
 kwarc.bib | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/kwarc.bib b/kwarc.bib
index 861987c6..6a719ca0 100644
--- 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},