Publication in BibTeX Format

@TECHREPORT{AICPub578:1988,
  AUTHOR={Kaelbling, Leslie Pack and Wilson, Nathan J.},
  TITLE={Rex Programmer’s Manual},
  ADDRESS={333 Ravenswood Ave., Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Jul},
  NUMBER={381},
  YEAR={1988},
  KEYWORDS={Rex},
  NOTE={Version 381R}
}