Publication in BibTeX Format

@TECHREPORT{AICPub1390:1975,
  AUTHOR={Fikes, Richard E.},
  TITLE={Deductive Retrieval Mechanisms for State Description Models},
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={July},
  NUMBER={106},
  YEAR={1975},
  ABSTRACT={This paper presents some programming facilities for modeling the semantics
     of a task domain and for describing the situations that occur in that domain
     as a task is being carried out.}
}