@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/6589-fix-bug-reordering-bulk-corrections-from-2025-11-14/A00-3003/"
}