- Anthology ID:
- A00-3003
- Volume:
- Proceedings of the ANLP-NAACL 2000 Student Research Workshop
- Month:
- Year:
- 2000
- Address:
- Venue:
- ANLP
- SIG:
- Publisher:
- Note:
- Pages:
- Language:
- URL:
- https://aclanthology.org/A00-3003
- DOI:
- Cite (ACL):
- Ivan I. Garibay. 2000. Generating Text with a Theorem Prover. In Proceedings of the ANLP-NAACL 2000 Student Research Workshop.
- Cite (Informal):
- Generating Text with a Theorem Prover (Garibay, ANLP 2000)
- PDF:
- https://preview.aclanthology.org/naacl-24-ws-corrections/A00-3003.pdf