@techreport{Moore80,
  author	= {Moore, R.},
  year		= {1980},
  title		= {Reasoning about Knowledge and Action},
  number	= {191},
  institution	= {SRI International, Artificial Intelligence Center},
  type		= {Technical Note}
}