Publication in BibTeX Format

@TECHREPORT{AICPub784:2000,
  AUTHOR={Stickel, Mark E. and Waldinger, Richard J. and Chaudhri, Vinay K.},
  TITLE={A Guide to SNARK},
  ADDRESS={333 Ravenswood Ave., Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={May},
  NUMBER={Unassigned},
  YEAR={2000}
}