Revise citation details for egglog-python

Updated citation information and message in CITATION.cff.

https://chatgpt.com/share/68b924e2-f044-8011-955f-381a742b9c86

Author: saulshanabrook

CITATION.cff

@@ -1,35 +1,25 @@
-# This CITATION.cff file was generated with cffinit.
-# Visit https://bit.ly/cffinit to generate yours today!
-
 cff-version: 1.2.0
-title: 'Egglog Python: A Pythonic Library for E-graphs'
-message: >-
-  If you use this software, please cite it using the
-  metadata from this file.
+message: "If you use egglog-python, please cite the paper below. If you also need to cite the software, include the version."
+title: "egglog-python"
 type: software
 authors:
   - given-names: Saul
     family-names: Shanabrook
     email: [email protected]
-    orcid: 'https://orcid.org/0000-0002-0258-4236'
-identifiers:
-  - type: other
-    value: 'arXiv:2305.04311'
-repository-code: 'https://github.com/egraphs-good/egglog-python'
-url: 'https://egglog-python.readthedocs.io/'
-abstract: >-
-  E-graphs have emerged as a versatile data structure with
-  applications in synthesis, optimization, and verification
-  through techniques such as equality saturation. This paper
-  introduces Python bindings for the experimental egglog
-  library (previously called egg-smol), which aims to bring
-  the benefits of e-graphs to the Python ecosystem. The
-  bindings offer a high-level, Pythonic API providing an
-  accessible and familiar interface for Python users. By
-  integrating e-graph techniques with Python, we hope to
-  enable collaboration and innovation across various domains
-  in the scientific computing and machine learning
-  communities. We discuss the advantages of using Python
-  bindings for both Python and existing egg-smol users, as
-  well as possible future directions for development.
+    orcid: "https://orcid.org/0000-0002-0258-4236"
 license: MIT
+repository-code: "https://github.com/egraphs-good/egglog-python"
+url: "https://egglog-python.readthedocs.io/"
+keywords: [e-graph, equality-saturation, DSL, Python, egglog]
+
+preferred-citation:
+  type: conference-paper
+  title: "Egglog Python: A Pythonic Library for E-graphs"
+  authors:
+    - given-names: Saul
+      family-names: Shanabrook
+      orcid: "https://orcid.org/0000-0002-0258-4236"
+  year: 2023
+  collection-title: "EGRAPHS@PLDI 2023"
+  doi: "10.48550/arXiv.2305.04311"
+  url: "https://arxiv.org/abs/2305.04311"