Publication in BibTeX Format

@TECHREPORT{AICPub1375:1984,
  AUTHOR={Stickel, Mark E.},
  TITLE={A Prolog Technology Theorem Prover},
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  NUMBER={336},
  YEAR={1984},
  KEYWORDS={Deduction!PTTP, PTTP, Prolog},
  ABSTRACT={An extension of Prolog, based on the model elimination theorem-proving
     procedure, would permit production of a logically complete Prolog technology
     theorem prover capable of performing inference operations at a rate approaching
     that of Prolog itself.},
  NOTE={Published in IEEE 1984 International Symposium on Logic Programming}
}