ACL Anthology
About
Announcements
Communication channels
Related work
Copyright
Credits
Volunteer
Development
Feedback
Using
Author directory
Citing papers
Links in the Anthology
Data access
All FAQs
Details
Anthology identifiers
Names
ORCID iDs
DOIs
Verified authors
Contributions
Submissions
Corrections
Maintain author pages
Attachments
GitHub
Ivan I.
Garibay
Author directory
2000
pdf
bib
Generating Text with a Theorem Prover
Ivan I. Garibay
Proceedings of the ANLP-NAACL 2000 Student Research Workshop
Search
Co-authors
Venues
ANLP
1
NAACL
1
Fix author