Publication in BibTeX Format

@TECHREPORT{AICPub1318:1969,
  AUTHOR={Green, C., Yates, R., Raphael, B., and Rosen, C.},
  TITLE={Research in Advanced Formal Theorem-Proving Techniques},
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={June},
  YEAR={1969},
  KEYWORDS={Problem Solving, Pattern Recognition, Representation; Question Answering,
     System Integration, QA3, Higher Order Theorem Proving},
  ABSTRACT={This proposal describes a program of research in the development and
     application of advanced formal theorem-proving techniques. The objective of
     the proposed work is to design and implement a computer program with general,
     powerful, and extremely flexible capabilities for both logical inference and
     data management. }
}