Publication in BibTeX Format

@MANUAL{AICPub985:2001,
  AUTHOR={Lowrance, J., Harrison, I., and Rodriguez, A.},
  TITLE={SEAS Help System},
  EDITION={Version 5.1},
  ADDRESS={333 Ravenswood Avel, Menlo Park, CA 94025},
  ORGANIZATION={SRI International},
  MONTH={dec},
  YEAR={2001},
  COPYRIGHT={SRI International},
  ABSTRACT={This constitutes the user manual for SEAS, the Structured Evidential
     Argumentation System.}
}