more updates

kwarcpubs.bib

@@ -67,6 +67,16 @@ @inproceedings{RRB:dhol:23
   publisher = "Springer"
 }
 
+@inproceedings{RW:realms:22,
+  author = "F. Rabe and F. Weber",
+  title = "{Three Case Studies on Realms}",
+  year = "2022",
+  pages = "46--51",
+  booktitle = "Intelligent Computer Mathematics, Informal Proceedings",
+  editor = "K. Buzzard and T. Kutsia",
+  publisher = "Research Institute for Symbolic Computation"
+}
+
 @inproceedings{RKR:mizar:21,
   author = "C. Rothgang and A. Kornilowicz and F. Rabe",
   title = "{A New Export of the Mizar Mathematical Library}",
@@ -77,6 +87,26 @@ @inproceedings{RKR:mizar:21
   publisher = "Springer"
 }
 
+@inproceedings{rabe:mmttex:19,
+  author = "F. Rabe",
+  title = "{MMTTeX: Connecting Content and Narration-Oriented Document Formats}",
+  year = "2019",
+  pages = "205--210",
+  booktitle = "Intelligent Computer Mathematics",
+  editor = "C. Kaliszyk and E. Brady and A. Kohlhase and C. {Sacerdoti Coen}",
+  publisher = "Springer"
+}
+
+@inproceedings{BR:nondet:19,
+  author = "R. Bird and F. Rabe",
+  title = "{How to calculate with nondeterministic functions}",
+  year = "2019",
+  pages = "138--154",
+  booktitle = "Mathematics of Program Construction",
+  editor = "G. Hutton",
+  publisher = "Springer"
+}
+
 @mastersthesis{Ama:msc23,
   title = {Enabling Interlinking of WissKIs Using Open Data},
   author = {Kai Amann},