Update links; add citation

CITATION.bib

@@ -0,0 +1,18 @@
+@misc{egglog,
+  author = {
+    Yihong Zhang and
+    Yisu Remy Wang and
+    Oliver Flatt and
+    David Cao and
+    Philip Zucker and
+    Eli Rosenthal and
+    Zachary Tatlock and
+    Max Willsey
+  },
+  title = {Better Together: Unifying Datalog and Equality Saturation},
+  year = {2023},
+  eprint={2304.04332},
+  archivePrefix={arXiv},
+  primaryClass={cs.PL},
+  url={https://arxiv.org/abs/2304.04332},
+}

README.md

@@ -1,8 +1,11 @@
-# egg-smol
+# egglog
 
-[web demo](https://www.mwillsey.com/egg-smol/)
+Try the [web demo](https://egraphs-good.github.io/egglog)!
 
-This is the working repo for egg-smol.
+This is repo for the `egglog` tool accompanying the paper
+  ["Better Together: Unifying Datalog and Equality Saturation"](https://arxiv.org/abs/2304.04332).
+
+If you use this work, please use [this citation](./CITATION.bib). 
 
 ## Background