Generating Text with a Theorem Prover - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ivan I. Garibay. Generating Text with a Theorem Prover. In ANLP. pages 13-18, 2000. [doi]

@inproceedings{Garibay00,
  title = {Generating Text with a Theorem Prover},
  author = {Ivan I. Garibay},
  year = {2000},
  url = {http://acl.ldc.upenn.edu/A/A00/A00-3003.pdf},
  researchr = {https://researchr.org/publication/Garibay00},
  cites = {0},
  citedby = {0},
  pages = {13-18},
  booktitle = {ANLP},
}

runs on WebDSL