Skip to content

Commit 8c2f860

Browse files
committed
bibtex in docs
1 parent 5a1aab7 commit 8c2f860

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

docs/source/index.rst

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,20 @@ Getting Help
3131
------------
3232
If you encounter any issues or have questions, feel free to check our Github, or contact one of the authors (`[email protected]`, `[email protected]`).
3333

34+
35+
Citing PyReason
36+
---------------
37+
If you use PyReason in your research, please cite the following paper:
38+
39+
.. code-block:: bibtex
40+
41+
@inproceedings{aditya_pyreason_2023,
42+
title = {{PyReason}: Software for Open World Temporal Logic},
43+
booktitle = {{AAAI} Spring Symposium},
44+
author = {Aditya, Dyuman and Mukherji, Kaustuv and Balasubramanian, Srikar and Chaudhary, Abhiraj and Shakarian, Paulo},
45+
year = {2023}}
46+
47+
3448
Indices and tables
3549
==================
3650

0 commit comments

Comments
 (0)