@misc{1165291,
  author = {Sylvan Cappell},
  title = {A programmed formalizer for a fragment of English:},
  year = {1964},
  month = {1964-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NBS.RPT.8171},
  language = {en},
}