Skip to content

Commit f1d3d78

Browse files
Add citation section to README
Added citation information for academic use of egglog-python.
1 parent 44ca1a7 commit f1d3d78

File tree

1 file changed

+17
-0
lines changed

1 file changed

+17
-0
lines changed

README.md

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,3 +8,20 @@ allowing you to use e-graphs in Python for optimization, symbolic computation, a
88
Please see the [documentation](https://egglog-python.readthedocs.io/) for more information.
99

1010
Come say hello [on the e-graphs Zulip](https://egraphs.zulipchat.com/#narrow/stream/375765-egglog/) or [open an issue](https://github.com/egraphs-good/egglog-python/issues/new/choose)!
11+
12+
## How to cite
13+
14+
If you use **egglog-python** in academic work, please cite the paper:
15+
16+
```bibtex
17+
@misc{Shanabrook2023EgglogPython,
18+
title = {Egglog Python: A Pythonic Library for E-graphs},
19+
author = {Saul Shanabrook},
20+
year = {2023},
21+
eprint = {2305.04311},
22+
archivePrefix = {arXiv},
23+
primaryClass = {cs.PL},
24+
doi = {10.48550/arXiv.2305.04311},
25+
url = {https://arxiv.org/abs/2305.04311},
26+
note = {Presented at EGRAPHS@PLDI 2023}
27+
}

0 commit comments

Comments
 (0)