We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f1d3d78 commit e0cc71eCopy full SHA for e0cc71e
docs/index.md
@@ -49,6 +49,23 @@ egraph.check(expr1 == expr2)
49
egraph.extract(expr1)
50
```
51
52
+## How to cite
53
+
54
+If you use **egglog-python** in academic work, please cite the paper:
55
56
+```bibtex
57
+@misc{Shanabrook2023EgglogPython,
58
+ title = {Egglog Python: A Pythonic Library for E-graphs},
59
+ author = {Saul Shanabrook},
60
+ year = {2023},
61
+ eprint = {2305.04311},
62
+ archivePrefix = {arXiv},
63
+ primaryClass = {cs.PL},
64
+ doi = {10.48550/arXiv.2305.04311},
65
+ url = {https://arxiv.org/abs/2305.04311},
66
+ note = {Presented at EGRAPHS@PLDI 2023}
67
+}
68
69
```{toctree}
70
:maxdepth: 2
71
tutorials
0 commit comments