@inproceedings{garibay-2000-generating,
    title = "Generating Text with a Theorem Prover",
    author = "Garibay, Ivan I.",
    booktitle = "Proceedings of the {ANLP}-{NAACL} 2000 Student Research Workshop",
    year = "2000",
    url = "https://preview.aclanthology.org/corrections-2025-06/A00-3003/"
}